Re: re. 1.3 cleanup: patterns in list comprehensions

[Lennart Augustsson]

Stefan Kahrs writes:
> [About Miranda]  This works, because patterns
> are syntactically a subclass of expressions.
But this is not true for Haskell (@ and _ are only
in patterns), but the technique still works.  You
just have to work harder and join pat and exp and
then always have a semantic check.

But since it's very easy to parse with a backtracking
parser I really don't care much.  I don't think LR
concerns should govern language design.

        -- Lennart