GADT question

Henrik Nilsson nhn at Cs.Nott.AC.UK
Tue Oct 11 05:57:11 EDT 2005


SPJ wrote:

 > The right fix is alas not very simple, which is why I have not done
 > it. (It involves what Martin Sulzmann calls "implication
 > constraints".) However, GADTs and type classes ought to be fine
 > together, and the fact that many people have reported bugs suggests
 > that the interaction is useful.
 > I plan to tackle it in the next couple of months.

Would this also address how plain old Algebraic Data Types and type
classes work together? The issues seems related.



Henrik Nilsson
School of Computer Science and Information Technology
The University of Nottingham
nhn at

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.

More information about the Glasgow-haskell-users mailing list