language-sygus 0.1.1.0 → 0.1.1.1

raw patch · 3 files changed

+4/−4 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• language-sygus.cabal +2/−2
• src/Sygus/Print.hs +1/−1
• tests/Test.hs +1/−1

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                language-sygus-version:             0.1.1.0+version:             0.1.1.1 synopsis:            A parser and printer for the SyGuS 2.0 language.    description:         A parser and printer for the SyGuS 2.0 language.  <https://sygus.org/assets/pdf/SyGuS-IF_2.0.pdf> license:             BSD3@@ -28,7 +28,7 @@   -- other-extensions:       build-depends:         array >= 0.3 && < 0.6                        , base >=4.10 && < 4.13-                       , text >= 1.1 && < 1.3+                       , text >= 1.1 && < 1.4   hs-source-dirs:      src   default-language:    Haskell2010   ghc-options:         -Wall

@@ -15,7 +15,7 @@ instance PrintSygus Lit where     printSygus (LitNum i)         | i >= 0 = pack $ show i-        | otherwise = pack $ "- " ++ show (abs i)+        | otherwise = pack $ "(- " ++ show (abs i) ++ ")"     printSygus (LitDec s) = pack s     printSygus (LitBool b) = printSygus b     printSygus (Hexidecimal s) = pack s

@@ -58,4 +58,4 @@  printTest1 :: TestTree printTest1 = testCase "Negative Number"-              $ assertBool "Negative Number" (printSygus (LitNum (-1)) == "- 1")+              $ assertBool "Negative Number" (printSygus (LitNum (-1)) == "(- 1)")