Ted Kaminski

Also, for the record, I think we do import qualifiers in a less than ideal way. (Basically, Haskell does it wrong, too.) I have previously filed #31, which describes a...

For the record, we just had a quick chat in the lab, and Lucas proposed another sensible short term solution. Grammars that are imported indirectly due to an exports relationship...

> introduce PolyType in addition to Type I was reminded of what might actually be the original reason I didn't do this... we have an odd case: ``` abstract production...

I've forgotten. Off the top of my head anymore I'm not sure why there would be more than one constructor, unless there was a significant performance difference between `monoType(t)` and...

Ug, executor count dropped to 5. :(

Well, they'd run more than a *bit* slower. I believe the JVM deliberately attempts to ensure that amount of JVM-allocated memory is actually available on the host. It's been awhile...

Ah, that's not the machine running out of memory! That's that JVM process running out. We need to just up its `-Xmx` line for something there. Let me see...

Yeah, so, if you want to bump up the `silver` script default to `2500M` or so, that'd probably take care of it for now. We don't want to increase this...

Stream of consciousness incoming. Root cause of this bug is here: https://github.com/melt-umn/silver/blob/develop/grammars/silver/definition/env/NamedSignature.sv#L67 evidently, after using full names for the annotation everywhere else, we suddenly only use a shortname when we...

This is probably inaccurate suppression. That is, it used to be both occurs and production raised the errors, but we started omitting the occurs if it looks like the production...