Closes #90, where the type error for an expression that does not match with the type of a board failed with an odd error of !.
This makes a small adjustment by first adding the expression into the state monad, before type checking the expression with the type of the board. By doing so, the previous expression is able to be extracted correctly (whereas before it was missing), and the expected mismatch type error is reported normally.
Additionally, changes the error message for a missing source expression to something a bit more verbose besides !. Removes the associated TODO marks, as they were related to this issue before.
Closes #90, where the type error for an expression that does not match with the type of a board failed with an odd error of
!.This makes a small adjustment by first adding the expression into the state monad, before type checking the expression with the type of the board. By doing so, the previous expression is able to be extracted correctly (whereas before it was missing), and the expected mismatch type error is reported normally.
Additionally, changes the error message for a missing source expression to something a bit more verbose besides
!. Removes the associated TODO marks, as they were related to this issue before.