twee-lib 2.1.1 → 2.1.2

raw patch · 4 files changed

+3/−5 lines, 4 files

Files

Twee/CP.hs +0/−1
Twee/Index.hs +0/−1
Twee/Term/Core.hs +1/−1
twee-lib.cabal +2/−2

Twee/CP.hs view

@@ -8,7 +8,6 @@ import Twee.Index(Index) import qualified Data.Set as Set import Control.Monad-import Data.Maybe import Data.List import qualified Data.ChurchList as ChurchList import Data.ChurchList (ChurchList(..))

Twee/Index.hs view

@@ -25,7 +25,6 @@ import Data.Maybe import Twee.Base hiding (var, fun, empty, size, singleton, prefix, funs, lookupList, lookup) import qualified Twee.Term as Term-import Twee.Term.Core(TermList(..)) import Data.DynamicArray import qualified Data.List as List

Twee/Term/Core.hs view

@@ -15,7 +15,7 @@ import Control.Monad.ST.Strict import Data.Bits import Data.Int-import GHC.Int(Int(..))+import GHC.Types(Int(..)) import GHC.Prim import GHC.ST hiding (liftST) import Data.Ord

twee-lib.cabal view

@@ -1,5 +1,5 @@ name:                twee-lib-version:             2.1.1+version:             2.1.2 synopsis:            An equational theorem prover homepage:            http://github.com/nick8325/twee license:             BSD3@@ -75,7 +75,7 @@     containers,     transformers,     dlist,-    pretty,+    pretty >= 1.1.2.0,     ghc-prim,     primitive >= 0.6.2.0,     vector