Hi, 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. Best, /Henrik -- Henrik Nilsson School of Computer Science and Information Technology The University of Nottingham nhn@cs.nott.ac.uk 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.