clash-lang / ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations
Other
43 stars 15 forks source link

Update to ghc 9.6 #72

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.