[GHC] #13457: unsafeInterleaveST is too unsafe

[GHC]

#13457: unsafeInterleaveST is too unsafe
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:  dfeuer
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.4.1
       Component:  Core Libraries    |              Version:  8.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dfeuer):

 ekmett, what I was trying to get at is that as well as being run twice by
 different threads, the action could even be run twice ''at the same
 time'', interleaving reads and writes in an unspecified order.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13457#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler