> Aren't those already guaranteed to be strict because of pattern matching? Try > it again with irrefutable patterns.
But pattern matching only forces the evaluation up to the pattern that is matched. We need another pattern matching(or seq etc.) on x, y, xs and ys here. If you look at the generated Core you'll see it more clearly I think(you'll see that no pattern matching on x y xs and ys are done in Core). 2015-12-07 20:43 GMT-05:00 Brandon Allbery <[email protected]>: > On Mon, Dec 7, 2015 at 8:40 PM, Ömer Sinan Ağacan <[email protected]> > wrote: >> >> With -XStrict 'x', 'xs', 'y' and 'ys' don't become strict. I'm wondering >> about >> the motivation behind this, I found this interesting. I always thought >> -XStrict >> gives me this guarantee: If I'm using an already-defined variable(bound by >> a >> let or pattern matching) in an expression, I can be sure that the variable >> won't be bottom in that expression, because it would be `seq`d before the >> expression is evaluated. > > > Aren't those already guaranteed to be strict because of pattern matching? > Try it again with irrefutable patterns. > > -- > brandon s allbery kf8nh sine nomine associates > [email protected] [email protected] > unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
