copilot 3.16.1 → 3.17
raw patch · 5 files changed
+19/−12 lines, 5 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-prettyprinter, copilot-theorem
API changes (from Hackage documentation)
Files
- CHANGELOG +7/−0
- README.md +1/−1
- copilot.cabal +7/−7
- examples/Structs.hs +2/−2
- examples/what4/Structs.hs +2/−2
CHANGELOG view
@@ -1,3 +1,10 @@+2023-11-07+ * Version bump (3.17). (#466)+ * Replace uses of deprecated functions. (#457)++2023-11-03+ * Fix typo in README. (#459)+ 2023-09-07 * Version bump (3.16.1). (#455)
README.md view
@@ -222,7 +222,7 @@ - [sketch-frp-copilot](https://hackage.haskell.org/package/sketch-frp-copilot) extends Copilot with an FRP-like interface. -- [zephir-copilot](https://hackage.haskell.org/package/zephyr-copilot)+- [zephyr-copilot](https://hackage.haskell.org/package/zephyr-copilot) facilitates building copilot applications that run on boards supported by the Zephyr project.
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 3.16.1+version: 3.17 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -52,12 +52,12 @@ , directory >= 1.3 && < 1.4 , filepath >= 1.4 && < 1.5 - , copilot-core >= 3.16.1 && < 3.17- , copilot-theorem >= 3.16.1 && < 3.17- , copilot-language >= 3.16.1 && < 3.17- , copilot-libraries >= 3.16.1 && < 3.17- , copilot-c99 >= 3.16.1 && < 3.17- , copilot-prettyprinter >= 3.16.1 && < 3.17+ , copilot-core >= 3.17 && < 3.18+ , copilot-theorem >= 3.17 && < 3.18+ , copilot-language >= 3.17 && < 3.18+ , copilot-libraries >= 3.17 && < 3.18+ , copilot-c99 >= 3.17 && < 3.18+ , copilot-prettyprinter >= 3.17 && < 3.18 exposed-modules: Language.Copilot, Language.Copilot.Main
examples/Structs.hs view
@@ -19,7 +19,7 @@ -- | `Struct` instance for `Volts`. instance Struct Volts where- typename _ = "volts"+ typeName _ = "volts" toValues volts = [ Value Word16 (numVolts volts) , Value Bool (flag volts) ]@@ -36,7 +36,7 @@ -- | `Battery` instance for `Struct`. instance Struct Battery where- typename _ = "battery"+ typeName _ = "battery" toValues battery = [ Value typeOf (temp battery) , Value typeOf (volts battery) , Value typeOf (other battery)
examples/what4/Structs.hs view
@@ -20,7 +20,7 @@ -- | `Struct` instance for `Volts`. instance Struct Volts where- typename _ = "volts"+ typeName _ = "volts" toValues volts = [ Value Word16 (numVolts volts) , Value Bool (flag volts) ]@@ -37,7 +37,7 @@ -- | `Battery` instance for `Struct`. instance Struct Battery where- typename _ = "battery"+ typeName _ = "battery" toValues battery = [ Value typeOf (temp battery) , Value typeOf (volts battery) , Value typeOf (other battery)