From eb78c4c6e41782beaa27c44225ca8d459978319c Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
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 adb2e110ff8c..471cba1b9fd5 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
-- 
GitLab