twee 2.1.2 → 2.1.3

raw patch · 2 files changed

+6/−5 lines, 2 filesdep ~twee-lib

Dependency ranges changed: twee-lib

Files

• executable/Main.hs +4/−3
• twee.cabal +2/−2

@@ -52,7 +52,7 @@         Nothing ((\x y -> Just (x, y)) <$> argFile <*> argModule)     argModule = arg "<module>" "expected a Prolog module name" Just -parseConfig :: OptionParser Config+parseConfig :: OptionParser (Config (Extended Constant)) parseConfig =   Config <$> maxSize <*> maxCPs <*> maxCPDepth <*> simplify <*> normPercent <*>     (CP.Config <$> lweight <*> rweight <*> funweight <*> varweight <*> depthweight <*> dupcost <*> dupfactor) <*>@@ -61,7 +61,8 @@   where     maxSize =       inGroup "Resource limits" $-      flag "max-term-size" ["Discard rewrite rules whose left-hand side is bigger than this limit (unlimited by default)."] maxBound argNum+      flag "max-term-size" ["Discard rewrite rules whose left-hand side is bigger than this limit (unlimited by default)."] Nothing (Just <$> checkSize <$> argNum)+    checkSize n t = size t <= n     maxCPs =       inGroup "Resource limits" $       flag "max-cps" ["Give up after considering this many critical pairs (unlimited by default)."] maxBound argNum@@ -354,7 +355,7 @@       return $ Left (pre inp (Jukebox.Var ctx_var, ctx_minimal :@: []))     identify inp = Left inp -runTwee :: GlobalFlags -> TSTPFlags -> MainFlags -> HornFlags -> Config -> [String] -> (IO () -> IO ()) -> Problem Clause -> IO Answer+runTwee :: GlobalFlags -> TSTPFlags -> MainFlags -> HornFlags -> Config (Extended Constant) -> [String] -> (IO () -> IO ()) -> Problem Clause -> IO Answer runTwee globals (TSTPFlags tstp) main horn config precedence later obligs = {-# SCC runTwee #-} do   let     -- Encode whatever needs encoding in the problem

@@ -1,5 +1,5 @@ name:                twee-version:             2.1.2+version:             2.1.3 synopsis:            An equational theorem prover homepage:            http://github.com/nick8325/twee license:             BSD3@@ -44,7 +44,7 @@   main-is:             executable/Main.hs   default-language:    Haskell2010   build-depends:       base < 5,-                       twee-lib == 2.1.2,+                       twee-lib == 2.1.3,                        containers,                        pretty,                        split,