>
> Is there a large reason why desugaring happens after type checking?
An advantage of doing type checking on the source language is that error
messages can be in terms of the source language rather than in terms of the
core language which programmers often don't recognize in their programs.
Sebastian
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Sep 08 2011 - 09:14:55 CEST