Travis Carlson

The problem as I understand it is that injecting code that transforms an expression that is an lvalue into an expression that is not an lvalue breaks programmer-written code. For...

I started working on this by splitting the attribute into synthesized `withMergedQualifiers` and inherited `mergeQualifiersWith`. Equations for these attributes then looked like: ``` abstract production pointerType top::Type ::= q::Qualifiers target::Type...

I can reproduce this same error on extensions that don't override `functiondefs`. For example, if I change the forwarding equation of `applyExpr` in the closure extension to: ``` forwards to...

Looks like that second example was related to the labelStmt being within a stmtExpr, and functiondefs doesn't occur on Expr. This means we can't do something like the example below,...