Re: Curry Report Vers. 0.8

From: Michael Hanus <>
Date: Tue, 06 May 2003 11:22:59 +0200

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

Best regards,


curry mailing list
Received on Di Mai 06 2003 - 11:42:04 CEST

This archive was generated by hypermail 2.3.0 : Di Sep 29 2020 - 07:15:02 CEST