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