#10867: Primop types should not mention () -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): I'd be ok with removing the STM data invariant feature altogether, if that seemed sensible. As you say, it is barely (never?) used. You are now the person closest to the metal, so please feel free to propose changes to GHC. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10867#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler