Wolfgang Lux wrote:
> I just noticed that the report uses some illegal expressions like
> try \x -> 1 =:= 1 in a few places. According to the grammar in appendix
> C this must be written as try (\x -> 1 =:= 1) because a lambda
> expression
> is not a BasicExpr. There are quite a lot of these erroneous expressions
> in section 8 of the report and two of them also managed to make it into
> the prelude in appendix B (in the definitions of one and condSearch).
> Finally, I found one such expression in the operational semantics in
> appendix D.7.
Thanks for the hints. I'll correct it.
BTW, these errors are due to the fact that our implementation
accepts the lambda expressions without the brackets.
This is in the tradition of Haskell where many compilers accept
expressions that are illegal according to the formal syntax of
Haskell...
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mai 06 2003 - 11:42:04 CEST