ultimate-pa/hanfor

Variable Retyping missing error message

Opened this issue · 0 comments

No error message when attempting to retype a variable to a non-supported type, i.e. when retyping a variable to "float" (which we don't have) instead of "real".
There should be an error message like "type not supported"