Scriptable error messages
Herk, Robert van
robert.van.herk at philips.com
Fri Jan 22 07:31:05 EST 2010
The Utrecht work can be found at:
Helium is a Haskell subset that strives to produce more understandable error messages. The theory behind it can be found in http://people.cs.uu.nl/bastiaan/phdthesis/index.html.
From: glasgow-haskell-users-bounces at haskell.org [glasgow-haskell-users-bounces at haskell.org] On Behalf Of Simon Peyton-Jones [simonpj at microsoft.com]
Sent: Friday, January 22, 2010 1:13 PM
To: Daniel Gustafsson; glasgow-haskell-users at haskell.org
Subject: RE: Scriptable error messages
GHC doesn't have any way to let you "plug in" new error messages. I imagine you mean in the type inference engine?
Can you characterise more precisely what you want, perhaps by example.
I do urge you to read the Utrecht work; they have done tremendous stuff on user-defined type rules and associated user-defined error messages.
| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Daniel Gustafsson
| Sent: 21 January 2010 18:20
| To: glasgow-haskell-users at haskell.org
| Subject: Scriptable error messages
| Me and a fellow student are taking a course named Frontiers of
| Programming Languages, and in this course we should do a project with
| something. A while ago we were at a presentation of Feldspar, a
| Embedded Domain Specific Language, and one of the negative points of
| using haskell was that the error messages could be cryptic due to the
| various ways it was implemented.
| So we are now looking into the possibility of adding your own error
| messages to GHC as our project. We have about 8 weeks to implement,
| either all or some proof of concept. As such we are looking for
| comments, ideas and suggestions. Is this doable in GHC?, or what is
| Daniel Gustafsson
| Simon Edwardsson
| Chalmers University of Technology (Gothenburg, Sweden)
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
Glasgow-haskell-users mailing list
Glasgow-haskell-users at haskell.org
The information contained in this message may be confidential and legally protected under applicable law. The message is intended solely for the addressee(s). If you are not the intended recipient, you are hereby notified that any use, forwarding, dissemination, or reproduction of this message is strictly prohibited and may be unlawful. If you are not the intended recipient, please contact the sender by return e-mail and destroy all copies of the original message.
More information about the Glasgow-haskell-users