The parser I'd written in the Langium framework exports a serialized-to-json version of the syntax (see, e..g, node ./bin/cli toMinimalAst examples/chained_record_deref.l4, from the lam4/lam4-frontend dir). This PR reads in that json into the Haskell backend.
Closes #44 .
The next steps:
The grammar / concrete syntax so far is pretty simple --- will be adding constructs like WHERE in the near future, along with desugaring
In particular, I will probably add records in (there's some subtle differences between records and relations)
Add tests
The Main.hs offers a simple, 'internal' CLI for this parser; this will be wired up to an evaluator in the near future
Add a 'public', more stable CLI for lam4, in the root dir
Mostly tagging reviewers as an fyi --- not sure that this is worth an in-depth review
The parser I'd written in the Langium framework exports a serialized-to-json version of the syntax (see, e..g,
node ./bin/cli toMinimalAst examples/chained_record_deref.l4, from thelam4/lam4-frontenddir). This PR reads in that json into the Haskell backend.Closes #44 .
The next steps:
WHEREin the near future, along with desugaringlam4, in the root dirMostly tagging reviewers as an fyi --- not sure that this is worth an in-depth review