[GHC] #15811: Comment out CONSTANT_FOLDED annotation for some GHC.Natural functions
#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
#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
#15811: Comment out CONSTANT_FOLDED annotation for some GHC.Natural functions -------------------------------------+------------------------------------- Reporter: darchon | Owner: (none) Type: feature request | Status: closed Priority: normal | Milestone: 8.6.2 Component: Compiler | Version: 8.6.1 Resolution: fixed | 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 bgamari): * status: patch => closed * resolution: => fixed Comment: Merged de9a8febde8cb7945d36d7e0bb7e12ddffca50bd. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15811#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC