language-sygus 0.1.1.3 → 0.2.0.0

raw patch · 4 files changed

+11/−5 lines, 4 filesdep ~deepseqdep ~hashablePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: deepseq, hashable

API changes (from Hackage documentation)

Files

• language-sygus.cabal +5/−5
• src/Sygus/ParseSygus.y +2/−0
• src/Sygus/Print.hs +3/−0
• src/Sygus/Syntax.hs +1/−0

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                language-sygus-version:             0.1.1.3+version:             0.2.0.0 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,16 +28,16 @@   -- other-extensions:       build-tools:         alex, happy   build-depends:         array >= 0.3 && < 0.6-                       , base >=4.10 && <= 4.18-                       , hashable >= 1.2.6.0 && <= 1.4.1.0-                       , text >= 1.1 && < 2.1+                       , base >=4.10 && < 5+                       , hashable >= 1.2.6.0 && < 1.7+                       , text >= 1.1 && < 2.2   hs-source-dirs:      src   default-language:    Haskell2010   ghc-options:         -Wall  test-suite test   build-depends:         base-                       , deepseq >= 1.1 && <1.5+                       , deepseq >= 1.1 && <1.6                        , language-sygus                        , tasty >= 1.0                        , tasty-hunit >= 0.10

@@ -60,6 +60,7 @@     declareDatatypes    { TSymbol "declare-datatypes" }     declareSort         { TSymbol "declare-sort" }     defineFun           { TSymbol "define-fun" }+    defineFunRec        { TSymbol "define-fun-rec" }     defineSort          { TSymbol "define-sort" }     setLogic            { TSymbol "set-logic" }     setOption           { TSymbol "set-option" }@@ -183,6 +184,7 @@         | '(' declareDatatypes '(' sort_decls1 ')' '(' dt_decs1 ')' ')' { DeclareDatatypes $4 $7 }         | '(' declareSort symb num ')'                                  { DeclareSort $3 $4 }         | '(' defineFun symb '(' sorted_vars ')' sort term ')'          { DefineFun $3 $5 $7 $8 }+        | '(' defineFunRec symb '(' sorted_vars ')' sort term ')'       { DefineFunRec $3 $5 $7 $8 }         | '(' defineSort symb sort ')'                                  { DefineSort $3 $4 }         | '(' setLogic symb ')'                                         { SetLogic $3 }         | '(' setOption ':' symb lit ')'                                { SetOption $4 $5 }

@@ -99,6 +99,9 @@     printSygus (DefineFun symb sv s t) =         "(define-fun " <> printSygus symb <> " (" <> printSygusList sv <> ") "             <> printSygus s <> " " <> printSygus t <> ")"+    printSygus (DefineFunRec symb sv s t) =+        "(define-fun-rec " <> printSygus symb <> " (" <> printSygusList sv <> ") "+            <> printSygus s <> " " <> printSygus t <> ")"     printSygus (DefineSort symb s) =         "(define-sort " <> printSygus symb <> " " <> printSygus s <> ")"     printSygus (SetLogic l) = "(set-logic " <> printSygus l <> ")"

@@ -82,6 +82,7 @@             | DeclareDatatypes [SortDecl] [DTDec]             | DeclareSort Symbol Integer             | DefineFun Symbol [SortedVar] Sort Term+            | DefineFunRec Symbol [SortedVar] Sort Term             | DefineSort Symbol Sort             | SetLogic Symbol             | SetOption Symbol Lit