[GHC] #15935: TYPE is not generated by genprimops

[GHC]

#15935: TYPE is not generated by genprimops
-------------------------------------+-------------------------------------
        Reporter:  davide            |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Core Libraries    |              Version:  8.6.2
      Resolution:                    |             Keywords:  newcomer
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by harpocrates):

 Replying to [comment:2 bgamari]:
 > It's not quite that simple; `utils/genprimcode` knows nothing of the `r`
 tyvar. You will need to introduce such a variable, along with a `primtype`
 for `RuntimeRep` itself.

 The `r` variable won't give `utils/genprimopcode` any problems but it
 won't have a kind annotation `:: RuntimeRep` on it. That's all temporary
 though. Once the Hi Haddock patch makes it into GHC/Haddock, you should
 even get the right kind annotation for free.

 This should all be analogous to the `data (->) a b` patch
 (https://phabricator.haskell.org/D5167). (With Hi Haddock, that gets
 rendered as `data (a :: TYPE r) -> (b :: TYPE q)`.)

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