Re: [Haskell-cafe] Re: Error message reform (was: Strange type errorwith associated type synonyms)

I once thought, that error messages must be configurable by libraries, too. This would be perfect for EDSLs that shall be used by non-Haskellers.

Yes, that is a problem.

But I have no idea how to design that.

There was some work in that direction in the context of the Helium project. See the publication lists of Bastiaan Heeren and Jurriaan Hage: http://people.cs.uu.nl/bastiaan/#Publications http://www.cs.uu.nl/research/techreps/aut/jur.html Claus