>
> How about qualifying the do
>
Interesting idea! But it's probably not easy to change how the type checker
handles do-blocks.
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Sep 07 2011 - 17:59:54 CEST