search

clash-lang / ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints
Other
14 stars 10 forks source link

Mark instances NOINLINE #47

Closed christiaanb closed 11 months ago

christiaanb commented 1 year ago

Fixes GHC issue 23109

martijnbastiaan commented 1 year ago

Fixes GHC issue 23109

I'm assuming it's more a "works around issue 23109"?

christiaanb commented 1 year ago

Yes, that's correct, in a way. The thing is, the plugin is doing something that is very likely impossible to do as a regular programmer.

martijnbastiaan commented 1 year ago

Gotcha, never mind my comment then