Achim Schneider <[EMAIL PROTECTED]> wrote:
> filter (\x -> case x of
> { A -> True
> ; B b | b > 2 -> True
> ; C c | c == "foo" -> True
> ; _ -> False}) sampleTypes
coming to think of it: Why can't I write
filter (\A -> True
\B b | b > 2 -> True
\C c | c == "foo" -> True
_ -> False
) sampleTypes
? AFAICT it's syntactically unambiguous.
--
(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
