Lucas Kramer
Lucas Kramer
The approach to "hygienic forwarding" that Ted proposed above needs to be considered carefully in relation to non-interference. By definition we are essentially constructing a tree where the attribute values...
Interesting. What happens if you specify the flow types for the `translation` attributes explicitly? Curious if this is a bug with flow type inference or lookup.
Also, do you have a minimal example somewhere that reproduces this?
Possible duplicate of #502.
> Readability aside, I think it might be difficult to add this as an extension because of MDA. Unless I'm wrong about how binary operators are implemented, this doesn't have...
Currently Copper crashes, I think with a NullPointerException? I don't remember the error exactly, but it is not very descriptive. Lucas Kramer On Mon, Jun 12, 2017 at 8:58 PM,...
I just tried this again since the Copper API change was finished, the error message given before the crash now points to the location of the nonterminal, but is otherwise...
Uhh I forgot the declarations of the annotations in my example - see my edits to the above.
Doing some major refactoring in ableC reiterated that single-production `data` declarations with annotations work pretty well as records in Silver: ``` annotation returnType :: Maybe; annotation breakValid :: Boolean; annotation...
In the case of `ControlStmtContext` there is only one production, but you can define data types with multiple productions that have annotations. Recall that a `data` declaration is just syntactic...