Lucas Kramer
Lucas Kramer
@remexre pointed out that if you have e.g. `annotation foo::Integer;` in grammar `a` and `annotation foo::String` in grammar `b`, you can have ``` nonterminal Thing with a:foo, b:foo; production thing...
I just found a significant bug in the flow analysis for decoration via references, e.g. if one were to write ``` production foo top::Expr ::= e::Expr { forwards to bar(@e);...
The binary serialization format used by `nativeSerialize`/`nativeDeserialize` includes the signatures of all serialized productions, so that we can tell if a production signature has changed, and fail gracefully in attempting...
It would be nice to add a javascript translation at some point, which would let us do nice in-browser demos. This should be fairly straightforward to implement (e.g. decorated nodes...
Occasionally we want to hide or rename something from `silver:core` when importing this grammar. This can be done with an explicit import of the grammar: ``` imports silver:core hiding append;...
The check for whether a `nonterminalType` is data and whether it is tracked are disabled in #773, to permit changing the dataness/trackedness of types referenced in the Silver compiler. This...
If a concrete production references a nonterminal in it its signature that does not have any productions, this results in a rather unhelpful error message ``` Generating parser silver:compiler:composed:Default:svParse. silver:compiler:modification:lambda_fn/Lambda.sv:49.1...
We should be able to write e.g. `\ (foo, bar) -> ...` instead of `\ fb -> case fe of (foo, bar) -> ... end`. Similar for `let`, we should...
Something I don't understand in the origin tracking implementation: when a tracked tree gets explicitly undecorated with `new`, we deep-copy the children in order to set their origins info to...
There are a few reasons why we should probably do this: * Currently we just keep a pile of jar dependencies for building the runtime hosted on our website, including...