[Haskell-cafe] Re: GHC predictability

Andrew Coppin andrewcoppin at btinternet.com
Wed May 14 14:23:07 EDT 2008

Don Stewart wrote:
> ndmitchell:
>>>  2. Does anybody know how to actually read GHC's Core output anyway?
>> There is one different from standard Haskell I am aware of. In Core,
>> case x of _ -> 1 will evaluate x, in Haskell it won't. Other than
>> that, its just Haskell, but without pattern matching and only cases -
>> hence the rather high number of cases.
> Well, 'let's too, which bind either unlifted or lifted values.
> If they're binding lifted things, that's a thunk being allocated.

See, somebody needs to write all this down - in language comprehensible 
to people who don't already know what an "unlifed value" is. ;-)

More information about the Haskell-Cafe mailing list