From eb78c4c6e41782beaa27c44225ca8d459978319c Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 27 May 2008 09:02:44 +0000 Subject: [PATCH] clarify that unsafeCoerce# :: Float# -> Int# is not safe (see #2209) --- compiler/prelude/primops.txt.pp | 1 + 1 file changed, 1 insertion(+) 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 -- 1.7.10.4