[GHC] #10867: Primop types should not mention ()

[GHC]

#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