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

Improve printing of normalized types in error messages #2818

Open janmasrovira opened 3 months ago

janmasrovira commented 3 months ago

In some error messages we are printing the normalized type only. It might improve the readability of the error to show the original type (if they are different)

paulcadman commented 3 months ago

What does Haskell do? We should copy its behaviour.