David Leimbach <leim...@gmail.com> 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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe