[GHC] #1683: strange MVar / UnsafePerformIO (and type
checker...) behaviour
GHC
trac at galois.com
Tue Sep 11 12:31:12 EDT 2007
#1683: strange MVar / UnsafePerformIO (and type checker...) behaviour
---------------------------------------------------+------------------------
Reporter: komuves at renyi.hu | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.6.1
Severity: normal | Resolution: invalid
Keywords: MVar, UnsafePerformIO, typechecker | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
---------------------------------------------------+------------------------
Changes (by igloo):
* resolution: => invalid
* status: new => closed
Comment:
Thanks for the report! However, you are unsafely (with the help of
unsafePerformIO) coercing an Int to a Word8. The behaviour is undefined.
It happens that with GHC's implementation you end up with a sequence of
bits that doesn't make a valid value for the type.
Thanks
Ian
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1683>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list