glen/fostr
1
0
Fork 1
Code Issues 4 Pull requests Projects Releases Wiki Activity

feat: Allow indented continuation lines
Some checks reported errors
continuous-integration/drone/push Build is passing
Details
continuous-integration/drone/pr Build was killed
Details

Browse source 
Resolves #2.
This commit is contained in:
Glen Whitney 2021-02-01 00:29:00 -08:00
parent 2e49065031
commit eaa06e62eb
9 changed files with 58 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

10
trans/statics.stx
View file

@ -6,11 +6,9 @@ imports signatures/fostr-sig
rules // single-file entry point
programOk : Ex
programOk : Start
programOk(Sum(_)).
programOk(Receives(_,_)).
programOk(Enters(_,_)).
programOk(TopLevel(_)).
rules // multi-file entry point
@ -18,6 +16,6 @@ rules // multi-file entry point
projectOk(s).
fileOk : scope * Ex
fileOk : scope * Start
fileOk(s, Receives(_,_)).
fileOk(s, TopLevel(_)).