[GHC] #15193: QSem makes nonsense claim
GHC
ghc-devs at haskell.org
Sat Jun 2 08:04:14 UTC 2018
#15193: QSem makes nonsense claim
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: Core Libraries | Version: 8.2.2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Documentation | Unknown/Multiple
bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by simonmar):
"first in" has a perfectly reasonable meaning: the execution of the
program corresponds to some unspecified interleaving that sequentialises
the operations, and you can define first-in using that ordering.
Yes you can construct programs where the ordering is non-deterministic,
but you can also construct programs where the ordering is deterministic,
and in those cases the FIFO ordering property is useful to the programmer.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15193#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list