Lucas Kramer

As a workaround, it seems that it is not very difficult to set up a case-sensitive volume on Mac, without needing to repartition anything: https://brianboyko.medium.com/a-case-sensitive-src-folder-for-mac-programmers-176cc82a3830

I thought I already implemented this, but I guess that was annotation sections. Yeah, we should do this. Would be a good Silver dev intro project, along with #577.

Hey @200sc I just ran across this old issue, I'm not sure you ever actually pushed your feature/defaultAnnos branch. This would definitely be nice to have, I'd be happy to...

Ah. What is the status of this project? Is this something that we still want to merge eventually?

I like the idea here, this is something I've found myself wanting sometimes. This feels like a more natural approach than implicit monads, for writing attribute equations that are only...

I'm also now realizing that this feature is largely redundant with dispatch productions. For type checking / environment lookups, you can structure the main production to forward to either an...

> I don't think that adding a new symbol is a good idea. Typing new(t) isn't that hard That was my initial thinking, too, but I'm second-guessing this after seeing...

If I recall correctly, in discussion with @ericvanwyk we settled on `^` as the undecoration operator? To reiterate, I think the strongest reason to add an operator is that strategy...

@JoeBlanchardUMN any updates on this? Thanks.

Yeah, that does feel stylistically better, given Silver's partial application syntax differs from Haskell where one partially applies a function by omitting the argument.