arduino-copilot 1.7.7 → 1.7.8
raw patch · 12 files changed
+161/−144 lines, 12 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: accessorName :: forall a (s :: Symbol) t. (Struct a, KnownSymbol s) => (a -> Field s t) -> String
+ Copilot.Arduino: arrayElems :: forall (n :: Nat) a. Array n a -> [a]
+ Copilot.Arduino: class a ~# b => (a :: k) ~ (b :: k)
+ Copilot.Arduino: fieldName :: forall (s :: Symbol) t. KnownSymbol s => Field s t -> String
+ Copilot.Arduino: forAll :: Stream Bool -> Prop Universal
+ Copilot.Arduino: liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
+ Copilot.Arduino: typeLength :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int
+ Copilot.Arduino: typeName :: Struct a => a -> String
+ Copilot.Arduino: typeSize :: forall (n :: Nat) t. KnownNat n => Type (Array n t) -> Int
- Copilot.Arduino: class Bounded a
+ Copilot.Arduino: class () => Bounded a
- Copilot.Arduino: class Cast a b
+ Copilot.Arduino: class () => Cast a b
- Copilot.Arduino: class Enum a
+ Copilot.Arduino: class () => Enum a
- Copilot.Arduino: class Eq a
+ Copilot.Arduino: class () => Eq a
- Copilot.Arduino: class Foldable (t :: TYPE LiftedRep -> Type)
+ Copilot.Arduino: class () => Foldable (t :: Type -> Type)
- Copilot.Arduino: class Functor (f :: Type -> Type)
+ Copilot.Arduino: class () => Functor (f :: Type -> Type)
- Copilot.Arduino: class IfThenElse (t :: Type -> Type) a
+ Copilot.Arduino: class () => IfThenElse (t :: Type -> Type) a
- Copilot.Arduino: class Input ctx o t
+ Copilot.Arduino: class () => Input ctx o t
- Copilot.Arduino: class Num a
+ Copilot.Arduino: class () => Num a
- Copilot.Arduino: class Output ctx o t
+ Copilot.Arduino: class () => Output ctx o t
- Copilot.Arduino: class Read a
+ Copilot.Arduino: class () => Read a
- Copilot.Arduino: class Semigroup a
+ Copilot.Arduino: class () => Semigroup a
- Copilot.Arduino: class Show a
+ Copilot.Arduino: class () => Show a
- Copilot.Arduino: class Struct a
+ Copilot.Arduino: class () => Struct a
- Copilot.Arduino: class UnsafeCast a b
+ Copilot.Arduino: class () => UnsafeCast a b
- Copilot.Arduino: data Array (n :: Nat) t
+ Copilot.Arduino: data () => Array (n :: Nat) t
- Copilot.Arduino: data Bool
+ Copilot.Arduino: data () => Bool
- Copilot.Arduino: data Char
+ Copilot.Arduino: data () => Char
- Copilot.Arduino: data Double
+ Copilot.Arduino: data () => Double
- Copilot.Arduino: data Either a b
+ Copilot.Arduino: data () => Either a b
- Copilot.Arduino: data Event (p :: k) v
+ Copilot.Arduino: data () => Event (p :: k) v
- Copilot.Arduino: data Field (s :: Symbol) t
+ Copilot.Arduino: data () => Field (s :: Symbol) t
- Copilot.Arduino: data Float
+ Copilot.Arduino: data () => Float
- Copilot.Arduino: data IO a
+ Copilot.Arduino: data () => IO a
- Copilot.Arduino: data Int
+ Copilot.Arduino: data () => Int
- Copilot.Arduino: data Int16
+ Copilot.Arduino: data () => Int16
- Copilot.Arduino: data Int32
+ Copilot.Arduino: data () => Int32
- Copilot.Arduino: data Int64
+ Copilot.Arduino: data () => Int64
- Copilot.Arduino: data Int8
+ Copilot.Arduino: data () => Int8
- Copilot.Arduino: data Integer
+ Copilot.Arduino: data () => Integer
- Copilot.Arduino: data Maybe a
+ Copilot.Arduino: data () => Maybe a
- Copilot.Arduino: data MicroSeconds
+ Copilot.Arduino: data () => MicroSeconds
- Copilot.Arduino: data MilliSeconds
+ Copilot.Arduino: data () => MilliSeconds
- Copilot.Arduino: data Ordering
+ Copilot.Arduino: data () => Ordering
- Copilot.Arduino: data SimpleType
+ Copilot.Arduino: data () => SimpleType
- Copilot.Arduino: data Stream a
+ Copilot.Arduino: data () => Stream a
- Copilot.Arduino: data Type a
+ Copilot.Arduino: data () => Type a
- Copilot.Arduino: data TypedBehavior (p :: k) t
+ Copilot.Arduino: data () => TypedBehavior (p :: k) t
- Copilot.Arduino: data UType
+ Copilot.Arduino: data () => UType
- Copilot.Arduino: data Value a
+ Copilot.Arduino: data () => Value a
- Copilot.Arduino: data Word
+ Copilot.Arduino: data () => Word
- Copilot.Arduino: data Word16
+ Copilot.Arduino: data () => Word16
- Copilot.Arduino: data Word32
+ Copilot.Arduino: data () => Word32
- Copilot.Arduino: data Word64
+ Copilot.Arduino: data () => Word64
- Copilot.Arduino: data Word8
+ Copilot.Arduino: data () => Word8
- Copilot.Arduino: head :: [a] -> a
+ Copilot.Arduino: head :: HasCallStack => [a] -> a
- Copilot.Arduino: infixl 6 -
+ Copilot.Arduino: infixl 6 .^.
- Copilot.Arduino: infixr 1 ++
+ Copilot.Arduino: infixr 1 =<<
- Copilot.Arduino: init :: [a] -> [a]
+ Copilot.Arduino: init :: HasCallStack => [a] -> [a]
- Copilot.Arduino: last :: [a] -> a
+ Copilot.Arduino: last :: HasCallStack => [a] -> a
- Copilot.Arduino: tail :: [a] -> [a]
+ Copilot.Arduino: tail :: HasCallStack => [a] -> [a]
Files
- CHANGELOG +8/−0
- Examples/Blink/stack.yaml +17/−16
- Examples/Button/stack.yaml +17/−16
- Examples/ButtonHold/stack.yaml +17/−16
- Examples/EEPROM/stack.yaml +16/−15
- Examples/EEPROMrange/stack.yaml +16/−15
- Examples/Random/stack.yaml +16/−15
- Examples/SerialPort/stack.yaml +16/−15
- Examples/WaterHeater/stack.yaml +16/−15
- arduino-copilot.cabal +5/−5
- src/Copilot/Arduino/Library/Serial/Device.hs +1/−1
- stack.yaml +16/−15
CHANGELOG view
@@ -1,3 +1,11 @@+arduino-copilot (1.7.8) upstream; urgency=medium++ * Update to copilot-3.18.1.+ * Update stack.yaml files to lts-22.11+ * Update to sketch-frp-copilot 1.0.10, to fix building with mtl-2.3++ -- Joey Hess <id@joeyh.name> Thu, 22 Feb 2024 14:05:29 -0400+ arduino-copilot (1.7.7) upstream; urgency=medium * Update to copilot-3.14.
Examples/Blink/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6-extra-deps: -- 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+resolver: lts-22.11+extra-deps:+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
Examples/Button/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6-extra-deps: -- 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+resolver: lts-22.11+extra-deps:+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
Examples/ButtonHold/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6-extra-deps: -- 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+resolver: lts-22.11+extra-deps:+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
Examples/EEPROM/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6+resolver: lts-22.11 extra-deps: -- 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+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
Examples/EEPROMrange/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6+resolver: lts-22.11 extra-deps: -- 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+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
Examples/Random/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6+resolver: lts-22.11 extra-deps: -- 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+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
Examples/SerialPort/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6+resolver: lts-22.11 extra-deps: -- 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+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
Examples/WaterHeater/stack.yaml view
@@ -1,24 +1,25 @@ packages: - '.' - '../..'-resolver: lts-20.6+resolver: lts-22.11 extra-deps: -- 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+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2
arduino-copilot.cabal view
@@ -1,5 +1,5 @@ Name: arduino-copilot-Version: 1.7.7+Version: 1.7.8 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.8),- copilot (== 3.14.*),- copilot-c99 (== 3.14.*),- copilot-language (== 3.14.*),+ sketch-frp-copilot (== 1.0.10),+ copilot (== 3.18.*),+ copilot-c99 (== 3.18.*),+ copilot-language (== 3.18.*), filepath, directory, mtl,
src/Copilot/Arduino/Library/Serial/Device.hs view
@@ -19,7 +19,7 @@ import Copilot.Arduino hiding (show) import Copilot.Arduino.Internals import Control.Monad.Writer-import Copilot.Language.Stream (Arg)+import Copilot.Language.Spec (Arg) import Data.List import Data.Maybe import Data.Proxy
stack.yaml view
@@ -1,23 +1,24 @@ packages: - '.'-resolver: lts-20.6+resolver: lts-22.11 extra-deps:-- 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+- sketch-frp-copilot-1.0.10+- copilot-3.18.1+- copilot-c99-3.18.1+- copilot-core-3.18.1+- copilot-language-3.18.1+- copilot-libraries-3.18.1+- copilot-theorem-3.18.1+- copilot-interpreter-3.18.1+- copilot-prettyprinter-3.18.1 - language-c99-0.2.0-- language-c99-simple-0.2.2+- language-c99-simple-0.3.0+- language-c99-util-0.2.0+- bv-sized-1.0.5 - panic-0.4.0.1-- parameterized-utils-2.1.6.0-- what4-1.3+- parameterized-utils-2.1.8.0+- what4-1.5.1 - bitwise-1.0.0.1 - config-value-0.8.3-- language-c99-util-0.2.0+- s-cargot-0.1.6.0 - zenc-0.1.2