#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