Lucas Kramer

Not sure about most of the other stuff, but `bindEither` is used in the reflection library to allow monadic error handling during serialization. Since reflection is now used by Silver...

Interesting, I'll take a look at what's going on with reification.

OK, I remember what is going on here. There is also the silver construction extension that I added, that is basically the same as silver-ableC but for Silver itself, for...

Yeah, I agree it's kind of a mess. I'm not sure what the best convention to follow is though, if it is worth cleaning this up. > Decl is IMO...

My first thought, without too much careful consideration, was "just do what Java does". But apparently Java converts unicode escape sequences anywhere in a source file to the equivalent characters,...

We would also need to specify separate generated directories for the tests, as running multiple silver builds in parallel with the same generated dir is unsafe.

Isn't there a nicer way now to set this up as a check on github? I would prefer to not have Jenkins builds failing due to formatting issues, and it...

Ted- What I meant by interference was that abusing this mechanism (or simply making a mistake) could allow a tree to be 'glued in' with different inherited attributes than expected,...

Eric- You are right, it is not so much that forwarding is 'broken' as much as that our implementation fails to solve an important problem, of avoiding redecoration. I am...

The time may have come to revisit this issue, as I have run headlong into some issues with exponential performance blow-up with involving the template extension while implementing my unification...