[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 request   |               Status:  patch
        Priority:  normal            |            Milestone:  8.6.2
       Component:  Compiler          |              Version:  8.6.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D5267
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by darchon):

 * status:  new => patch


Old description:

> 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.

New description:

 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 are defined for the referred to functions in GHC.Natural

--

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