copilot-language 0.9.1 → 2.1.1

raw patch · 2 files changed

+9/−9 lines, 2 filesdep −ghc-primdep ~basedep ~containersdep ~mtlPVP ok

version bump matches the API change (PVP)

Dependencies removed: ghc-prim

Dependency ranges changed: base, containers, mtl

API changes (from Hackage documentation)

- Copilot.Language.Operators.BitWise: (.<<., .>>.) :: (Bits a, Typed a, Typed b, Integral b) => Stream a -> Stream b -> Stream a

+ Copilot.Language.Operators.BitWise: (.<<.) :: (Bits a, Typed a, Typed b, Integral b) => Stream a -> Stream b -> Stream a

+ Copilot.Language.Operators.BitWise: (.>>.) :: (Bits a, Typed a, Typed b, Integral b) => Stream a -> Stream b -> Stream a

- Copilot.Language.Operators.BitWise: class (Eq a, Num a) => Bits a

+ Copilot.Language.Operators.BitWise: class Eq a => Bits a

copilot-language.cabal view

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-language-version:             0.9.1+version:             2.1.1 synopsis:            A Haskell-embedded DSL for monitoring hard real-time                      distributed systems. description:@@ -10,7 +10,7 @@   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>.@@ -26,17 +26,17 @@  source-repository head     type:       git-    location:   git://github.com/niswegmann/copilot-language.git+    location:   git://github.com/leepike/copilot-language.git  library   default-language: Haskell2010   hs-source-dirs: src   build-depends: array-               , base >= 4.0 && < 5-               , containers >= 0.4 && < 1+               , base >= 4.0 && <= 5.0+               , containers >= 0.4+               , mtl >= 2.0                , data-reify >= 0.6-               , mtl >= 2.0 && < 3-               , ghc-prim >= 0.2 && < 0.3+--               , ghc-prim,                , copilot-core >= 0.1   exposed-modules: Copilot                  , Copilot.Language@@ -72,4 +72,4 @@     -trust containers     -trust array -    +

src/Copilot/Language/Interpret.hs view

@@ -2,7 +2,7 @@  -- | The interpreter. -{-# LANGUAGE Safe #-}+{-# LANGUAGE Trustworthy #-} -- Copilot Core uses Data.Map in Containers. {-# LANGUAGE GADTs, FlexibleInstances #-}  module Copilot.Language.Interpret