#5540: Non-deterministic pure code in Data.Typeable
-------------------------------+--------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Component: libraries/base
Version: 7.0.3 | Keywords:
Testcase: | Blockedby:
Os: MacOS X | Blocking:
Architecture: x86_64 (amd64) | Failure: None/Unknown
-------------------------------+--------------------------------------------
Comparing the result of 'typeOf ()' performed in different threads
sometimes yields true and sometimes false. To reproduce compile the
attached source file with
ghc-7.0.3 -threaded -rtsopts TypeRepEq.hs
And execute it in a shell loop. Looping the inside the Haskell program
will usually not show the bug.
while true ; do ./TypeReqEq +RTS -N ; done
Every program run will print either "Ok" or "typeOf () /= typeOf ()". The
latter would indicate the bug.
The issue has been discussed on the glasgow-haskell-users mailing list in
this thread:
http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/20754
Different people said that they can reproduce the bug on Mac OS X and
Linux with different versions of GHC 6.12.x and 7.0.x. GHC 7.2 does not
show the bug.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5540>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
