David Leimbach <[email protected]> writes:
> I'm pretty certain that forcing a pattern match via case is what disallows
> the laziness to get out of hand. The case statement, when evaluated, must
> choose a matched pattern branch, even if it's the only possibility, which
> ends up boiling down to "seq" anyway doesn't it?
Prelude> case undefined of x -> ()
()
So I think you are incorrect: the 'undefined' here isn't evaluated by
the case.
-k
--
If I haven't seen further, it is by standing in the footprints of giants
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
