quickspec 2.2.1 → 2.2.2

raw patch · 2 files changed

+4/−4 lines, 2 files

Files

quickspec.cabal +3/−3
src/QuickSpec/Internal/Pruning/UntypedTwee.hs +1/−1

quickspec.cabal view

@@ -1,5 +1,5 @@ Name:                quickspec-Version:             2.2.1+Version:             2.2.2 Cabal-version:       >= 1.10 Build-type:          Simple @@ -109,10 +109,10 @@     containers,     data-lens-light >= 0.1.1,     dlist,-    hashable >= 1.5,+    hashable >= 1.3,     random,     spoon,     template-haskell,     transformers,-    twee-lib >= 2.6,+    twee-lib == 2.7.1,     uglymemo

src/QuickSpec/Internal/Pruning/UntypedTwee.hs view

@@ -177,7 +177,7 @@   completePure config $     addAxiom config state axiom   where-    axiom = Axiom 0 (prettyShow (t :=: u)) (toTwee t Twee.:=: toTwee u)+    axiom = Axiom 0 (prettyShow (t :=: u)) Nothing (toTwee t Twee.:=: toTwee u)  toTwee :: (Ord f, Twee.Intern f) =>   Term f -> Twee.Term (Extended f)