[GHC] #15811: Comment out CONSTANT_FOLDED annotation for some GHC.Natural functions

[GHC]

#15811: Comment out CONSTANT_FOLDED annotation for some GHC.Natural functions
-------------------------------------+-------------------------------------
           Reporter:  darchon        |             Owner:  (none)
               Type:  feature        |            Status:  new
  request                            |
           Priority:  normal         |         Milestone:  8.6.2
          Component:  Compiler       |           Version:  8.6.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):  Phab:D5267     |         Wiki Page:
-------------------------------------+-------------------------------------
 Some functions in GHC.Natural with a CONSTANT_FOLDED annotation don't have
 actual builtin rules (nor a builtin name in PrelNames and friends).

 This is hurting the Clash compiler because the workers for these functions
 do not end up in the .hi interface files, nor can we reliably define
 primops; meaning Clash cannot translate functions over Natural. This is
 doubly problematic because Natural is the underlying representation for
 KnownNat which Clash uses extensively.

 This feature request is simply a backstop for GHC 8.6.2 until proper
 builtin rules have been defined for the functions over the relevant
 Natural functions.

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