copilot 2.0.3 → 2.0.4
raw patch · 10 files changed
+12/−34 lines, 10 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- Examples/AddMult.hs +1/−2
- Examples/Examples2.hs +3/−6
- Examples/LTLExamples.hs +1/−3
- Examples/Local.hs +1/−2
- Examples/PTLTLExamples.hs +1/−3
- Examples/RegExpExamples.hs +1/−4
- Examples/StackExamples.hs +1/−6
- Examples/StatExamples.hs +1/−4
- Examples/VotingExamples.hs +1/−3
- copilot.cabal +1/−1
Examples/AddMult.hs view
@@ -7,8 +7,7 @@ module AddMult ( addMult ) where import Prelude ()-import Copilot.Language-import Copilot.Language.Prelude+import Language.Copilot --------------------------------------------------------------------------------
Examples/Examples2.hs view
@@ -1,14 +1,11 @@ module Examples2 ( examples2 ) where import Prelude ()--import Copilot.Language.Prelude-import Copilot.Language-import Copilot.Language.Reify (reify)+import Language.Copilot import qualified Copilot.Compile.SBV as S -import Data.List (cycle)+import qualified Data.List as L -------------------------------------------------------------------------------- @@ -43,7 +40,7 @@ sumExterns = let e1 = extern "e1" (Just [0..])- e2 = extern "e2" (Just $ cycle [2,3,4])+ e2 = extern "e2" (Just $ L.cycle [2,3,4]) in e1 + e2 + e1
Examples/LTLExamples.hs view
@@ -1,9 +1,7 @@ module LTLExamples where import qualified Prelude as P-import Copilot.Language-import Copilot.Language.Prelude-import Copilot.Library.LTL+import Language.Copilot ---------------- -- LTL tests ---
Examples/Local.hs view
@@ -7,8 +7,7 @@ module Local ( localEx ) where import Prelude ()-import Copilot.Language-import Copilot.Language.Prelude+import Language.Copilot --------------------------------------------------------------------------------
Examples/PTLTLExamples.hs view
@@ -2,9 +2,7 @@ module PTLTLExamples ( ptltlExamples ) where -import Copilot.Language-import Copilot.Language.Prelude-import Copilot.Library.PTLTL+import Language.Copilot import Prelude () import qualified Data.List as L
Examples/RegExpExamples.hs view
@@ -4,10 +4,7 @@ module RegExpExamples ( regExpExamples ) where import qualified Prelude as P-import Copilot.Language-import Copilot.Language.Prelude-import Copilot.Library.RegExp-import Copilot.Library.Utils+import Language.Copilot reset :: Stream Bool reset = [ False ] ++ cycle [ False, False, False, True ]
Examples/StackExamples.hs view
@@ -2,13 +2,8 @@ module StackExamples ( stackExamples ) where --import Prelude () import qualified Prelude as P-import Copilot.Language-import Copilot.Library.Stacks-import Copilot.Language.Prelude-+import Language.Copilot -- push a counter from 1 to 5 onto the stack pushSignal :: Stream Bool
Examples/StatExamples.hs view
@@ -3,10 +3,7 @@ -- | Statistics examples import Prelude ()-import Copilot.Language-import Copilot.Language.Prelude-import Copilot.Library.Statistics-+import Language.Copilot inputData :: Stream Word16 inputData = replicate 5 0 ++ inputData + 5
Examples/VotingExamples.hs view
@@ -8,9 +8,7 @@ module VotingExamples ( votingExamples ) where -import Copilot.Library.Voting-import Copilot.Language-import Copilot.Language.Prelude+import Language.Copilot --------------------------------------------------------------------------------
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 2.0.3+version: 2.0.4 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE