ghc-typelits-natnormalise 0.5.1 → 0.5.2
raw patch · 3 files changed
+6/−2 lines, 3 files
Files
CHANGELOG.md view
@@ -1,5 +1,9 @@ # Changelog for the [`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise) package +## 0.5.2 *January 15th 2017*+* Fixes bugs:+ * Reification from SOP to Type sometimes loses product terms+ ## 0.5.1 *September 29th 2016* * Fixes bugs: * Cannot solve an equality for the second time in a definition group
ghc-typelits-natnormalise.cabal view
@@ -1,5 +1,5 @@ name: ghc-typelits-natnormalise-version: 0.5.1+version: 0.5.2 synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat description: A type checker plugin for GHC that can solve /equalities/ of types of kind
src/GHC/TypeLits/Normalise/Unify.hs view
@@ -151,7 +151,7 @@ , s1 == s2 = Right (s1,(p1:p2)) : ys | otherwise- = Right (s1,[p1]) : ys+ = Right (s1,[p1]) : y : ys mergeExp x ys = Left x : ys reifySymbol :: Either CoreSymbol (CoreSOP,[CoreProduct]) -> Type