Re: Do notation for arbitrary monads

From: Sebastian Fischer <sebf_at_informatik.uni-kiel.de>
Date: Wed, 07 Sep 2011 23:05:51 +0900

>
> 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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:10 CET