tpdb 2.2.2 → 2.3.0

raw patch · 2 files changed

+15/−4 lines, 2 files

Files

• src/TPDB/Plain/Write.hs +13/−2
• tpdb.cabal +2/−2

@@ -60,8 +60,19 @@         ]  instance ( Pretty s, Pretty r, Variables (Term s r) ) => Pretty ( Problem s r ) where-    pretty p = vcat-       [ pretty $ trs p +    pretty p =+      let rms = case full_signature p of+            HigherOrderSignature -> []+	    Signature fs -> do+	      f <- fs+	      case fs_replacementmap f of+	        Nothing -> []+	        Just (Replacementmap ps) ->+	          return $ parens $ sep $ pretty (fs_name f) : map pretty ps+      in  vcat+       [ pretty $ trs p+       , if null rms then empty+         else parens $ sep $ "STRATEGY" : "CONTEXTSENSITIVE" : rms        , case strategy p of                Nothing -> empty              Just s -> sep [ "strategy"

@@ -1,7 +1,7 @@-Cabal-Version: 3.0+Cabal-Version: 2.4  Name: tpdb-Version: 2.2.2+Version: 2.3.0  Author: Alexander Bau, Johannes Waldmann Maintainer: Johannes Waldmann