search

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Other
16 stars 9 forks source link

Add `GHC.Magic.noinline` to `gcd` and `lcm` #26

Closed christiaanb closed 4 years ago

christiaanb commented 4 years ago

GHC 8.6+ inlines their definitions, which exposes some of their FFI calls to the Clash compiler, which it cannot evaluate at compile-time.

Fixes https://github.com/clash-lang/clash-compiler/issues/1019