There seems to be a bug which allows a local var to be read before it has been written to. Probably need to add something to LVST to check that the variable has been written and otherwise print error during typechecking.
There seems to be a bug which allows a local var to be read before it has been written to.
Probably need to add something to LVST to check that the variable has been written and otherwise print error during typechecking.