copilot 3.1 → 3.2

raw patch · 3 files changed

+28/−22 lines, 3 filesdep ~copilotdep ~copilot-c99dep ~copilot-corePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: copilot, copilot-c99, copilot-core, copilot-language, copilot-libraries, copilot-theorem, optparse-applicative

API changes (from Hackage documentation)

Files

• CHANGELOG +6/−0
• README.md +1/−1
• copilot.cabal +21/−21

@@ -1,3 +1,9 @@+2020-12-06+        * Update optparse-applicative dependency version for newer base+          versions. (#61).+        * Add Ivan Perez as co-maintainer (#51).+        * Update description in cabal file to match copilot-core (#50).+ 2019-11-22 Ivan Perez <ivan.perez@nianet.org>         * Version bump (3.1).         * Update multiple examples (#41).

@@ -179,4 +179,4 @@ * Ryan Spring * Lauren Pick * Frank Dedden (maintainer: contact at dev@dedden.net)-* Ivan Perez+* Ivan Perez (maintainer)

@@ -1,5 +1,5 @@ name:                copilot-version:             3.1+version:             3.2 cabal-version:       >= 1.10 license:             BSD3 license-file:        LICENSE@@ -9,17 +9,17 @@ maintainer:          Frank Dedden <dev@dedden.net> category:            Language, Embedded homepage:            https://copilot-language.github.io+bug-reports:         https://github.com/Copilot-Language/copilot/issues stability:           Experimental description:   This package is the main entry-point for using Copilot.   .   Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in   Haskell that compiles into embedded C.  Copilot contains an interpreter,-  multiple back-end compilers, and other verification tools.  A tutorial, bug-  reports, and todos are available at-  <https://github.com/Copilot-Language/copilot-discussion>.+  multiple back-end compilers, and other verification tools.   .-  Examples are available at <https://github.com/Copilot-Language/Copilot/tree/master/Examples>.+  A tutorial, examples, and other information are available at+  <https://copilot-language.github.io>.  extra-source-files:   README.md@@ -41,15 +41,15 @@       -fno-warn-orphans     build-depends:                        base                 >= 4.9  && < 5-                     , optparse-applicative >= 0.14 && < 0.15+                     , optparse-applicative >= 0.14 && < 0.16                      , directory            >= 1.3  && < 1.4                      , filepath             >= 1.4  && < 1.5 -                     , copilot-core         >= 3.1  && < 3.2-                     , copilot-theorem      >= 3.1  && < 3.2-                     , copilot-language     >= 3.1  && < 3.2-                     , copilot-libraries    >= 3.1  && < 3.2-                     , copilot-c99          >= 3.1  && < 3.2+                     , copilot-core         >= 3.2  && < 3.3+                     , copilot-theorem      >= 3.2  && < 3.3+                     , copilot-language     >= 3.2  && < 3.3+                     , copilot-libraries    >= 3.2  && < 3.3+                     , copilot-c99          >= 3.2  && < 3.3       exposed-modules: Language.Copilot, Language.Copilot.Main@@ -59,56 +59,56 @@     main-is:            AddMult.hs     hs-source-dirs:     Examples     build-depends:      base        >= 4.9  && < 5-                      , copilot     >= 3.1  && < 3.2+                      , copilot     >= 3.2  && < 3.3     default-language:   Haskell2010  executable array     main-is:            Array.hs     hs-source-dirs:     Examples     build-depends:      base        >= 4.9  && < 5-                      , copilot     >= 3.1  && < 3.2+                      , copilot     >= 3.2  && < 3.3     default-language:   Haskell2010  executable cast     main-is:            Cast.hs     hs-source-dirs:     Examples     build-depends:      base        >= 4.9  && < 5-                      , copilot     >= 3.1  && < 3.2+                      , copilot     >= 3.2  && < 3.3     default-language:   Haskell2010  executable clock     main-is:            Clock.hs     hs-source-dirs:     Examples     build-depends:      base              >= 4.9  && < 5-                      , copilot           >= 3.1  && < 3.2-                      , copilot-libraries >= 3.1  && < 3.2+                      , copilot           >= 3.2  && < 3.3+                      , copilot-libraries >= 3.2  && < 3.3     default-language:   Haskell2010  executable counter     main-is:            Counter.hs     hs-source-dirs:     Examples     build-depends:      base              >= 4.9  && < 5-                      , copilot           >= 3.1  && < 3.2+                      , copilot           >= 3.2  && < 3.3     default-language:   Haskell2010  executable engine     main-is:            Engine.hs     hs-source-dirs:     Examples     build-depends:      base              >= 4.9  && < 5-                      , copilot           >= 3.1  && < 3.2+                      , copilot           >= 3.2  && < 3.3     default-language:   Haskell2010  executable heater     main-is:            Heater.hs     hs-source-dirs:     Examples     build-depends:      base              >= 4.9  && < 5-                      , copilot           >= 3.1  && < 3.2-                      , copilot-c99       >= 3.1  && < 3.2+                      , copilot           >= 3.2  && < 3.3+                      , copilot-c99       >= 3.2  && < 3.3     default-language:   Haskell2010  executable voting     main-is:            Voting.hs     hs-source-dirs:     Examples     build-depends:      base              >= 4.9  && < 5-                      , copilot           >= 3.1  && < 3.2+                      , copilot           >= 3.2  && < 3.3     default-language:   Haskell2010