Function typechecking bug
mbenke opened this issue · comments
When typechecking a function declaration, its body should be typechecked in the environment taken from the declared type.
Not doing so leads to a crash when typechecking functions with nonlocal variables
Test case: TypingExamples.e543
This should be in another repository, my apologies. Please delete