copilot 2.0.8 → 2.0.9
raw patch · 2 files changed
+18/−17 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- copilot.cabal +1/−1
- src/Language/Copilot.hs +17/−16
copilot.cabal view
@@ -1,5 +1,5 @@ name: copilot-version: 2.0.8+version: 2.0.9 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE
src/Language/Copilot.hs view
@@ -9,14 +9,14 @@ -- , module Copilot.Compile.SBV -- Libraries- , module Copilot.Library.Clocks- , module Copilot.Library.LTL- , module Copilot.Library.PTLTL- , module Copilot.Library.Statistics- , module Copilot.Library.RegExp- , module Copilot.Library.Utils- , module Copilot.Library.Voting- , module Copilot.Library.Stacks+ , module Copilot.Library.Libraries+ -- , module Copilot.Library.LTL+ -- , module Copilot.Library.PTLTL+ -- , module Copilot.Library.Statistics+ -- , module Copilot.Library.RegExp+ -- , module Copilot.Library.Utils+ -- , module Copilot.Library.Voting+ -- , module Copilot.Library.Stacks ) where import Copilot.Language@@ -28,12 +28,13 @@ -- import Copilot.Compile.SBV -- Libraries-import Copilot.Library.Clocks-import Copilot.Library.LTL-import Copilot.Library.PTLTL-import Copilot.Library.Statistics-import Copilot.Library.RegExp-import Copilot.Library.Utils-import Copilot.Library.Voting-import Copilot.Library.Stacks+import Copilot.Library.Libraries+-- import Copilot.Library.Clocks+-- import Copilot.Library.LTL+-- import Copilot.Library.PTLTL+-- import Copilot.Library.Statistics+-- import Copilot.Library.RegExp+-- import Copilot.Library.Utils+-- import Copilot.Library.Voting+-- import Copilot.Library.Stacks