copilot 3.7 → 3.8

raw patch · 2 files changed

+12/−6 lines, 2 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok

version bump matches the API change (PVP)

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

API changes (from Hackage documentation)

Files

• CHANGELOG +4/−0
• copilot.cabal +8/−6

@@ -1,3 +1,7 @@+2022-03-07+        * Version bump (3.8). (#298)+        * Mark package as uncurated to avoid modification. (#288)+ 2022-01-07         * Version bump (3.7). (#287)         * Add example with nested structs. (#275)

@@ -1,5 +1,5 @@ name:                copilot-version:             3.7+version:             3.8 cabal-version:       >= 1.10 license:             BSD3 license-file:        LICENSE@@ -24,6 +24,8 @@   A tutorial, examples, and other information are available at   <https://copilot-language.github.io>. +x-curation: uncurated+ extra-source-files:   README.md   CHANGELOG@@ -50,11 +52,11 @@                      , directory            >= 1.3  && < 1.4                      , filepath             >= 1.4  && < 1.5 -                     , copilot-core         >= 3.7  && < 3.8-                     , copilot-theorem      >= 3.7  && < 3.8-                     , copilot-language     >= 3.7  && < 3.8-                     , copilot-libraries    >= 3.7  && < 3.8-                     , copilot-c99          >= 3.7  && < 3.8+                     , copilot-core         >= 3.8  && < 3.9+                     , copilot-theorem      >= 3.8  && < 3.9+                     , copilot-language     >= 3.8  && < 3.9+                     , copilot-libraries    >= 3.8  && < 3.9+                     , copilot-c99          >= 3.8  && < 3.9       exposed-modules: Language.Copilot, Language.Copilot.Main