26 May
2009
26 May
'09
1:29 p.m.
On Mon, 2009-05-25 at 09:40 -0400, Mario Blazevic wrote:
$diff main.simpl imported.simpl ... 223c232 < a_s1rs [ALWAYS Just L] :: GHC.Integer.Internals.Integer ---
a_s1sV [ALWAYS Just S] :: GHC.Integer.Internals.Integer
...
Good find!
Does this S vs. L difference have anything to do with strictness and laziness?
Yes.
So, I think we should open a ghc but report with all the details, particularly the example's source, the ghc version and that highlight of that strictness difference.
I have logged the ticket at
Thanks for being so persistent Mario! Simon has diagnosed the bug. It's really rather subtle. Duncan