22 Jun
2004
22 Jun
'04
12:09 p.m.
On Tuesday 22 Jun 2004 2:28 pm, Simon Peyton-Jones wrote:
The DmdType for the Int# is indeed "L" but that's irrelevant because Int# values are always evaluated. The demand info is always L for an unboxed type.
Thanks, I had noticed it did appear to have decided h was unboxed (assuming my interpretation of core was correct), so it seemed rather strange that addHeight could be lazy (non-strict) in that argument. So does L mean "Lazy", or something else? Thanks -- Adrian Hey