[emacs] problem with showing type at error location

[asmanur]

When asking for the type in a phrase with an error inside it, instead of doing nothing or reporting the error, it prints the type of the token of the last phrase (seemingly)

[let-def]

Yes you're right. This is an approximation while we have a better handling of contexts. You can always check that cursor is inside the returned location.