Skip to content
Snippets Groups Projects
Commit eb78c4c6 authored by Simon Marlow's avatar Simon Marlow
Browse files

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

parent b27381f4
No related merge requests found
Hide whitespace changes
Inline Side-by-side
compiler/prelude/primops.txt.pp
+ 1
− 0
View file @ eb78c4c6
...@@ -1801,6 +1801,7 @@ pseudoop "unsafeCoerce#" ...@@ -1801,6 +1801,7 @@ pseudoop "unsafeCoerce#"
* Casting {\tt Any} back to the real type * Casting {\tt Any} back to the real type
* Casting an unboxed type to another unboxed type of the same size * 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 * 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 the two types differ only in "phantom" type parameters, for example
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment