Excerpts from Adam Chlipala's message of Sun Dec 12 01:51:15 +0100 2010: > Marc Weber wrote: > I would expect that the compiler error messages do a good job of
*g* - thanks. You've been right. The issue was me not using mkEnum at all. Works now. Added a second mkEnum2 constructor and used it for the int instance. So sorry for the noise. Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
