4 Nov
2011
4 Nov
'11
12:17 p.m.
On Fri, Nov 4, 2011 at 9:14 AM, Milan Straka
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.
I will go ahead and make the changes as soon as I find some time. -- Johan