forked from glen/fostr
Glen Whitney
2e49065031
Also adds parenthesization of fostr expressions. Recasts code generation in terms of bottomup processing of a local strategy. Resolves #1. Co-authored-by: Glen Whitney <glen@studioinfinity.org> Reviewed-on: glen/fostr#8 Co-Authored-By: Glen Whitney <glen@nobody@nowhere.net> Co-Committed-By: Glen Whitney <glen@nobody@nowhere.net>
24 lines
379 B
Plaintext
24 lines
379 B
Plaintext
module statics
|
|
|
|
imports signatures/fostr-sig
|
|
|
|
// see docs/implementation.md for details on how to switch to multi-file analysis
|
|
|
|
rules // single-file entry point
|
|
|
|
programOk : Ex
|
|
|
|
programOk(Sum(_)).
|
|
programOk(Receives(_,_)).
|
|
programOk(Enters(_,_)).
|
|
|
|
rules // multi-file entry point
|
|
|
|
projectOk : scope
|
|
|
|
projectOk(s).
|
|
|
|
fileOk : scope * Ex
|
|
|
|
fileOk(s, Receives(_,_)).
|