diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2008-05-27 09:02:44 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2008-05-27 09:02:44 +0000 |
| commit | eb78c4c6e41782beaa27c44225ca8d459978319c (patch) | |
| tree | 7805d42fe7fb43c40da0ff1a1f762f9c7f7fb65f /compiler/prelude/primops.txt.pp | |
| parent | b27381f4e20a96aafc3402c925557090f9f2ac2e (diff) | |
| download | haskell-eb78c4c6e41782beaa27c44225ca8d459978319c.tar.gz | |
clarify that unsafeCoerce# :: Float# -> Int# is not safe (see #2209)
Diffstat (limited to 'compiler/prelude/primops.txt.pp')
| -rw-r--r-- | compiler/prelude/primops.txt.pp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index adb2e110ff..471cba1b9f 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 |