Verification in global state

ejrgilbert / whamm

5 stars 2 forks source link

Closed wavid-b closed 2 days ago

wavid-b commented 6 days ago

[x] Add typechecking to statements in the global space of scripts
[x] Disallow fn_calls from non-compiler defined functions in the global space a couple ways to do this - maybe don't have them defined before typechecking the statements or explicitly don't allow them
[x] Disallow if/else in global space (maybe)
[x] Removed "option" from return type of Fn - use () instead

wavid-b commented 5 days ago

3 done in pr #78

wavid-b commented 4 days ago

all 4 tasks are now integrated into PR #72 yippee Will close issue when merged