copilot-libraries 0.6 → 2.1.1
raw patch · 1 files changed
+8/−8 lines, 1 filesdep ~basePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base
API changes (from Hackage documentation)
- Copilot.Library.Stacks: stack, stack' :: (Integral a, Typed b) => a -> b -> PopSignal -> PushSignal -> PushStream b -> StackTop b
+ Copilot.Library.Stacks: stack :: (Integral a, Typed b) => a -> b -> PopSignal -> PushSignal -> PushStream b -> StackTop b
+ Copilot.Library.Stacks: stack' :: (Integral a, Typed b) => a -> b -> PopSignal -> PushSignal -> PushStream b -> StackTop b
Files
- copilot-libraries.cabal +8/−8
copilot-libraries.cabal view
@@ -1,17 +1,17 @@ cabal-version: >=1.10 name: copilot-libraries-version: 0.6+version: 2.1.1 synopsis: A Haskell-embedded DSL for monitoring hard real-time distributed systems.-description: +description: Libraries for the Copilot language.- . + . Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, bug reports, and todos are available at- <https://github.com/niswegmann/copilot-discussion>. - . + <https://github.com/leepike/copilot-discussion>.+ . Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>. @@ -19,14 +19,14 @@ license-file: LICENSE author: Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller, Nis Nordby Wegmann-maintainer: niswegmann@gmail.com+maintainer: leepike@gmail.com stability: Experimental category: Language, Embedded build-type: Simple source-repository head type: git- location: git://github.com/niswegmann/copilot-libraries.git+ location: git://github.com/leepike/copilot-libraries.git library default-language: Haskell2010@@ -35,7 +35,7 @@ build-depends: array,- base >= 4.0 && < 5,+ base >= 4.0 && <= 5.0, containers, copilot-language, parsec >= 2.0,