arduino-copilot 1.7.6 → 1.7.7
raw patch · 11 files changed
+92/−86 lines, 11 filesdep ~copilotdep ~copilot-c99dep ~copilot-languagePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: copilot, copilot-c99, copilot-language, sketch-frp-copilot
API changes (from Hackage documentation)
- Copilot.Arduino: class Flatten a b
- Copilot.Arduino: flatten :: forall (n :: Nat). Flatten a b => Array n a -> [b]
- Copilot.Arduino: prettyPrint :: Spec -> IO ()
- Copilot.Arduino: size :: forall a (n :: Nat) b. (Flatten a b, b ~ InnerType a) => Array n a -> Int
- Copilot.Arduino: type family InnerType x
+ Copilot.Arduino: type family IsPWMPin (t :: [PinCapabilities])
Files
- CHANGELOG +6/−0
- Examples/Blink/stack.yaml +9/−9
- Examples/Button/stack.yaml +9/−9
- Examples/ButtonHold/stack.yaml +9/−9
- Examples/EEPROM/stack.yaml +9/−9
- Examples/EEPROMrange/stack.yaml +9/−9
- Examples/Random/stack.yaml +9/−9
- Examples/SerialPort/stack.yaml +9/−9
- Examples/WaterHeater/stack.yaml +9/−9
- arduino-copilot.cabal +5/−5
- stack.yaml +9/−9
CHANGELOG view
@@ -1,3 +1,9 @@+arduino-copilot (1.7.7) upstream; urgency=medium++ * Update to copilot-3.14.++ -- Joey Hess <id@joeyh.name> Thu, 09 Mar 2023 12:20:32 -0400+ arduino-copilot (1.7.6) upstream; urgency=medium * Update to sketch-frp-copilot 1.0.7, to fix building with ghc 9.2
Examples/Blink/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
Examples/Button/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
Examples/ButtonHold/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
Examples/EEPROM/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
Examples/EEPROMrange/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
Examples/Random/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
Examples/SerialPort/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
Examples/WaterHeater/stack.yaml view
@@ -3,15 +3,15 @@ - '../..' resolver: lts-20.6 extra-deps: -- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2
arduino-copilot.cabal view
@@ -1,5 +1,5 @@ Name: arduino-copilot-Version: 1.7.6+Version: 1.7.7 Cabal-Version: >= 1.10 License: BSD3 Maintainer: Joey Hess <id@joeyh.name>@@ -114,10 +114,10 @@ Copilot.Arduino.Main Build-Depends: base (>= 4.5 && < 5),- sketch-frp-copilot (== 1.0.7),- copilot (== 3.13.*),- copilot-c99 (== 3.13.*),- copilot-language (== 3.13.*),+ sketch-frp-copilot (== 1.0.8),+ copilot (== 3.14.*),+ copilot-c99 (== 3.14.*),+ copilot-language (== 3.14.*), filepath, directory, mtl,
stack.yaml view
@@ -2,15 +2,15 @@ - '.' resolver: lts-20.6 extra-deps:-- sketch-frp-copilot-1.0.7-- copilot-3.13-- copilot-c99-3.13-- copilot-core-3.13-- copilot-language-3.13-- copilot-libraries-3.13-- copilot-theorem-3.13-- copilot-interpreter-3.13-- copilot-prettyprinter-3.13+- sketch-frp-copilot-1.0.8+- copilot-3.14+- copilot-c99-3.14+- copilot-core-3.14+- copilot-language-3.14+- copilot-libraries-3.14+- copilot-theorem-3.14+- copilot-interpreter-3.14+- copilot-prettyprinter-3.14 - bv-sized-1.0.4 - language-c99-0.2.0 - language-c99-simple-0.2.2