
4 Nov
2011
4 Nov
'11
12:14 p.m.
Hi Johan,
After thinking about this some more I think we should go with option one (the most strict one). My arguments in favor are that
* it's easier to explain and remember, * it's harder to be too lazy by mistake*, * Simon M thinks it'll help GHC to avoid some redundant seq:s, and * if we can specialize the structure in the future to use monomorphic representations we can pass the value unboxed.
Milan, what are your current thoughts?
I agree with going with option one. It is a simple rule and it is consistent with the method-are-strict-in-keys behaviour. Cheers, Milan