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

[Claus Reinke]

> 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