search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
449 stars 54 forks source link

Report proper location for normalized types in the `WrongType` error #2814

Closed janmasrovira closed 3 months ago

janmasrovira commented 3 months ago

There is currently no automated way to test this. One can manually check that when trying to typecheck tests/negative/issue2771/Main.juvix/ the error location is wrong: image

That is now fixed: image