[Ur] urweb-library playground - and question about how to complete implemention of "enum" like class
Marc Weber
marco-oweber at gmx.de
Sat Dec 11 20:26:06 EST 2010
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
More information about the Ur
mailing list