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

GHC ghc-devs at haskell.org
Thu Nov 22 13:20:47 UTC 2018


#15935: TYPE is not generated by genprimops
-------------------------------------+-------------------------------------
           Reporter:  davide         |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Core           |           Version:  8.6.2
  Libraries                          |
           Keywords:  GHC.Magic      |  Operating System:  Unknown/Multiple
  TYPE haddock GHC.Prim genprimops   |
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 During validation, GHC.Magic must build without warning, and must also
 type check with Haddock without warnings. This causes some awkwardness in
 GHC.Magic (see the comment above the imports regarding genprimops) because
 TYPE is exported from GHC.Prim and reexported by GHC.Types. We are forced
 to explicitly import it via GHC.Types (and not from GHC.Prim to avoid an
 unused import warnings). Importing via GHC.Prim would not type check with
 Haddock as genprimops doesn't generate TYPE for GHC.Prim. This issue
 surfaced in patch D5312.

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


More information about the ghc-tickets mailing list