Am Dienstag, 28. Februar 2006 09:23 schrieb Michael Hanus:
> [...]
> Sorry for being imprecise. I think it is not a practical problem
> since the variables in function patterns serve two roles-they are
> free when evaluating a function pattern to a constructor term
> (i.e., a standard pattern) but afterwards they are considered
> as pattern variables. Thus, it is not important that one
> syntactical construct could denote a free as well as pattern variable
> since the difference is not important in that context.
But it could cause confusion.
> Nevertheless, it could be better to be conservative and wait
> a bit for more insights before extending the language of
> expressions by "_".
Sounds good. ;-)
> Regards,
>
> Michael
Best wishes,
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Feb 28 2006 - 16:59:33 CET