Slightly improved error messages and better locations.
Context
Currently Smol typing errors are triggered by "failwith", this makes them not structured at all, additionally they lack locations. This PR adds both, a proper exception for errors and print the locations.
Goals
Slightly improved error messages and better locations.
Context
Currently Smol typing errors are triggered by "failwith", this makes them not structured at all, additionally they lack locations. This PR adds both, a proper exception for errors and print the locations.