search

clash-lang / ghc-typelits-knownnat

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

Update to ghc 9.6 #44

Closed Mikolaj closed 1 year ago

Mikolaj commented 1 year ago

An I-don't-know-what-I'm-doing update to GHC 9.6. My code using the plugin compiles with --allow-newer and -O0. No head.hackage, just pure Hackage.