From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 27 May 2008 09:02:44 +0000 (+0000)
Subject: clarify that unsafeCoerce# :: Float# -> Int# is not safe (see #2209)
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=eb78c4c6e41782beaa27c44225ca8d459978319c

clarify that unsafeCoerce# :: Float# -> Int# is not safe (see #2209)
---

diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp
index adb2e11..471cba1 100644
--- a/compiler/prelude/primops.txt.pp
+++ b/compiler/prelude/primops.txt.pp
@@ -1801,6 +1801,7 @@ pseudoop   "unsafeCoerce#"
          * Casting {\tt Any} back to the real type
 
          * Casting an unboxed type to another unboxed type of the same size
+           (but not coercions between floating-point and integral types)
 
          * Casting between two types that have the same runtime representation.  One case is when
            the two types differ only in "phantom" type parameters, for example