New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update slice compiler to use internal AST #46

Open

arjunguha opened this issue Sep 26, 2012 · 0 comments

Assignees

Member

arjunguha commented Sep 26, 2012

We translate the surface syntax, defines in Types.hs, to an internal AST:

https://github.com/frenetic-lang/netcore/blob/master/src/Frenetic/NetCore/Semantics.hs#L308

The semantics and compiler are now defined over this internal AST, and not the surface syntax. We should also update the Slice compiler to use it.

When complete, we'll be able to remove query IDs from the surface syntax: they're a usability wart.

This should be straightforward to do, since the type of predicates is the same.

I'd be happy to hack this up, but Alec might be quicker.

ghost assigned astory

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment