Is your feature request related to a problem? Please describe.
Right now, when the typechecker crashes, the user gets no warning or message, they have to look in output window to figure out what is up.
Describe the solution you'd like
If the typechecker crashed, add an error to the module on which the typechecker was called on.
Describe alternatives you've considered
keep it as in, this would however make it harder for users to debug why their code is not showing errors.
Is your feature request related to a problem? Please describe. Right now, when the typechecker crashes, the user gets no warning or message, they have to look in output window to figure out what is up.
Describe the solution you'd like If the typechecker crashed, add an error to the module on which the typechecker was called on.
Describe alternatives you've considered keep it as in, this would however make it harder for users to debug why their code is not showing errors.