Re: Do notation for arbitrary monads

From: Arthur Peters <amp4_at_pdx.edu>
Date: Wed, 07 Sep 2011 10:23:59 -0700

Is there a large reason why desugaring happens after type checking? It
seems like it would be easier to do it the other way. Desugar the AST
and then type check it. That way the type checker does not need to
know about do syntax at all.

-Arthur

On Wed, Sep 7, 2011 at 7:05 AM, Sebastian Fischer
<sebf_at_informatik.uni-kiel.de> wrote:
>> 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
>
>
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Sep 07 2011 - 19:53:27 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:12 CEST