Closed Taneb closed 5 years ago
The isNatural function in GHC.TypeLits.Normalise.Unify from ghc-typelits-natnormalise was changed in https://github.com/clash-lang/ghc-typelits-natnormalise/commit/45080a9f50b040178e145c0e9b489c26c17a6d52 to take a Bool parameter to assert whether naturals are constant. Its usages in the mergeMin and mergeMax functions in GHC.TypeLits.Extra.Solver.Operations have not been updated accordingly.
isNatural
GHC.TypeLits.Normalise.Unify
ghc-typelits-natnormalise
Bool
mergeMin
mergeMax
GHC.TypeLits.Extra.Solver.Operations
To fix: add either False or True to these calls as the first parameter.
False
True
Fixed in https://github.com/clash-lang/ghc-typelits-extra/commit/145a1a524d9ee163887e7da2edc11cd2ff977ab8
martijnbastiaan
commented
5 years ago martijnbastiaan
commented
5 years ago
The
isNaturalfunction inGHC.TypeLits.Normalise.Unifyfromghc-typelits-natnormalisewas changed in https://github.com/clash-lang/ghc-typelits-natnormalise/commit/45080a9f50b040178e145c0e9b489c26c17a6d52 to take aBoolparameter to assert whether naturals are constant. Its usages in themergeMinandmergeMaxfunctions inGHC.TypeLits.Extra.Solver.Operationshave not been updated accordingly.To fix: add either
FalseorTrueto these calls as the first parameter.