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

Qualify cmpNat to avoid ambiguity with base-4.16 version #5

Closed jmorag closed 1 year ago

jmorag commented 2 years ago

See https://hackage.haskell.org/package/base-4.16.1.0/docs/GHC-TypeLits.html#v:cmpNat. This now builds correctly with ghc 9.2 as well as 8.10.7.

Bodigrim commented 2 years ago

As a Hackage trustee I made revisions to prohibit unbuildable configurations: https://hackage.haskell.org/package/typelits-witnesses-0.4.0.0/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.3.0.3/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.3.0.2/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.3.0.1/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.3.0.0/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.2.3.0/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.2.2.0/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.2.1.0/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.2.0.0/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.1.3.0/revisions/ https://hackage.haskell.org/package/typelits-witnesses-0.1.2.0/revisions/