diff --git a/CHANGELOG b/CHANGELOG --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,9 @@ +arduino-copilot (1.7.3) upstream; urgency=medium + + * Update to copilot-3.11. + + -- Joey Hess Thu, 08 Sep 2022 10:05:21 -0400 + arduino-copilot (1.7.2) upstream; urgency=medium * Update to copilot-3.10. diff --git a/Examples/Blink/stack.yaml b/Examples/Blink/stack.yaml --- a/Examples/Blink/stack.yaml +++ b/Examples/Blink/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/Examples/Button/stack.yaml b/Examples/Button/stack.yaml --- a/Examples/Button/stack.yaml +++ b/Examples/Button/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/Examples/ButtonHold/stack.yaml b/Examples/ButtonHold/stack.yaml --- a/Examples/ButtonHold/stack.yaml +++ b/Examples/ButtonHold/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/Examples/EEPROM/stack.yaml b/Examples/EEPROM/stack.yaml --- a/Examples/EEPROM/stack.yaml +++ b/Examples/EEPROM/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/Examples/EEPROMrange/stack.yaml b/Examples/EEPROMrange/stack.yaml --- a/Examples/EEPROMrange/stack.yaml +++ b/Examples/EEPROMrange/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/Examples/Random/stack.yaml b/Examples/Random/stack.yaml --- a/Examples/Random/stack.yaml +++ b/Examples/Random/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/Examples/SerialPort/stack.yaml b/Examples/SerialPort/stack.yaml --- a/Examples/SerialPort/stack.yaml +++ b/Examples/SerialPort/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/Examples/WaterHeater/stack.yaml b/Examples/WaterHeater/stack.yaml --- a/Examples/WaterHeater/stack.yaml +++ b/Examples/WaterHeater/stack.yaml @@ -3,18 +3,19 @@ - '../..' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 diff --git a/arduino-copilot.cabal b/arduino-copilot.cabal --- a/arduino-copilot.cabal +++ b/arduino-copilot.cabal @@ -1,5 +1,5 @@ Name: arduino-copilot -Version: 1.7.2 +Version: 1.7.3 Cabal-Version: >= 1.10 License: BSD3 Maintainer: Joey Hess @@ -114,10 +114,10 @@ Copilot.Arduino.Main Build-Depends: base (>= 4.5 && < 5), - sketch-frp-copilot (== 1.0.3), - copilot (== 3.10.*), - copilot-c99 (== 3.10.*), - copilot-language (== 3.10.*), + sketch-frp-copilot (== 1.0.4), + copilot (== 3.11.*), + copilot-c99 (== 3.11.*), + copilot-language (== 3.11.*), filepath, directory, mtl, diff --git a/stack.yaml b/stack.yaml --- a/stack.yaml +++ b/stack.yaml @@ -2,18 +2,19 @@ - '.' resolver: lts-18.9 extra-deps: -- sketch-frp-copilot-1.0.3 -- copilot-3.10 -- copilot-c99-3.10 -- copilot-core-3.10 -- copilot-language-3.10 -- copilot-libraries-3.10 -- copilot-theorem-3.10 +- sketch-frp-copilot-1.0.4 +- copilot-3.11 +- copilot-c99-3.11 +- copilot-core-3.11 +- copilot-language-3.11 +- copilot-libraries-3.11 +- copilot-theorem-3.11 +- copilot-interpreter-3.11 - ansi-terminal-0.9.1 - bimap-0.3.3 -- language-c99-0.1.2 -- language-c99-simple-0.1.2 -- language-c99-util-0.1.1 +- language-c99-0.2.0 +- language-c99-simple-0.2.2 +- language-c99-util-0.2.0 - optparse-applicative-0.15.1.0 - panic-0.4.0.1 - parameterized-utils-2.1.3.0 @@ -24,4 +25,3 @@ - versions-4.0.3 - zenc-0.1.2 - bv-sized-1.0.2 -explicit-setup-deps: