search

mstksg / typelits-witnesses

Existential witnesses, singletons, and classes for operations on GHC TypeLits
http://hackage.haskell.org/package/typelits-witnesses
MIT License
10 stars 13 forks source link

Compatability with GHC-9.4 & GHC-9.6 via CPP for `cmpNat` #8

Closed recursion-ninja closed 1 year ago

recursion-ninja commented 1 year ago

There exists a name clash with cmpNat exported from GHC.TypeLits since base-4.16.0.0. I corrected this via a quick application of CPP. The libary now successfully compiler with ghc-9.4.* and ghc-9.6.*.

While adding CPP clauses, I conditionally included the TypeInType language extension to suppress the warnings with ghc-9.6.*.

Merging would be nice for continued forwards compatibility. The typelits-witnesses package is a dependency of the very nice finitary package. It would be great to keep both working with modern version of GHC.

recursion-ninja commented 1 year ago

Nevermind, it seems your fixes work, but just aren't up on Hackage yet...