Conal Elliott <[EMAIL PROTECTED]> writes:
> Here's an oddity. Does anyone know what's going on? - Conal
>
> -----Original Message-----
> From: Sigbjorn Finne (Intl Vendor)
> Sent: Wednesday, September 08, 1999 11:33 AM
> To: Conal Elliott
> Subject: RE: Typed vs untyped representation
>
>
> No idea why that happens, someone really familiar with the Hugs
> innards would know. A simpler example is "11.0 == unsafeCoerce ()"
Looks like when you coerce () to a number, it grabs the number off the
top of some stack or something...
Dynamic> 5.0 == unsafeCoerce ()
True
(10 reductions, 12 cells)
Dynamic> 5.0 + unsafeCoerce ()
10.0
(11 reductions, 13 cells)
Dynamic> 5.0 * unsafeCoerce ()
25.0
(11 reductions, 13 cells)
Dynamic> unsafeCoerce () + 5.0
30.0
(10 reductions, 13 cells)
Dynamic> unsafeCoerce () + 5.0
35.0
Carl Witty
