copilot-language 3.13 → 3.14

raw patch · 4 files changed

+17/−13 lines, 4 filesdep −copilot-prettyprinterdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok

version bump matches the API change (PVP)

Dependencies removed: copilot-prettyprinter

Dependency ranges changed: copilot-core, copilot-interpreter, copilot-theorem

API changes (from Hackage documentation)

Files

• CHANGELOG +5/−0
• copilot-language.cabal +4/−5
• src/Copilot/Language.hs +0/−8
• src/Copilot/Language/Operators/BitWise.hs +8/−0

@@ -1,3 +1,8 @@+2023-03-07+        * Version bump (3.14). (#422)+        * Remove function Copilot.Language.prettyPrint. (#412)+        * Adjust to work with GHC 9.4. (#423)+ 2023-01-07         * Version bump (3.13). (#406) 

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-language-version:             3.13+version:             3.14 synopsis:            A Haskell-embedded DSL for monitoring hard real-time                      distributed systems. description:@@ -42,10 +42,9 @@                , data-reify            >= 0.6 && < 0.7                , mtl                   >= 2.0 && < 3 -               , copilot-core          >= 3.13 && < 3.14-               , copilot-interpreter   >= 3.13 && < 3.14-               , copilot-prettyprinter >= 3.13 && < 3.14-               , copilot-theorem       >= 3.13 && < 3.14+               , copilot-core          >= 3.14 && < 3.15+               , copilot-interpreter   >= 3.14 && < 3.15+               , copilot-theorem       >= 3.14 && < 3.15    exposed-modules: Copilot.Language                  , Copilot.Language.Operators.BitWise

@@ -39,7 +39,6 @@   , prop   , theorem   , forall, exists-  , prettyPrint   ) where  import Data.Int hiding (Int)@@ -67,10 +66,3 @@ import Copilot.Language.Prelude import Copilot.Language.Spec import Copilot.Language.Stream (Stream)-import qualified Copilot.PrettyPrint as PP---- | Transform a high-level Copilot Language specification into a low-level--- Copilot Core specification and pretty-print it to stdout.-{-# DEPRECATED prettyPrint "This function is deprecated in Copilot 3.11." #-}-prettyPrint :: Spec -> IO ()-prettyPrint e = fmap PP.prettyPrint (reify e) >>= putStr

@@ -1,5 +1,6 @@ -- Copyright © 2011 National Institute of Aerospace / Galois, Inc. +{-# LANGUAGE CPP  #-} {-# LANGUAGE Safe #-}  {-# OPTIONS_GHC -fno-warn-orphans #-}@@ -16,7 +17,12 @@ import qualified Copilot.Core as Core import Copilot.Language.Stream import qualified Prelude as P++#if MIN_VERSION_base(4,17,0)+import Data.Bits hiding ((.>>.), (.<<.))+#else import Data.Bits+#endif  -- | Instance of the 'Bits' class for 'Stream's. --@@ -36,9 +42,11 @@   bit          = P.error "tbd: bit"   popCount     = P.error "tbd: popCount" +#if !MIN_VERSION_base(4,17,0) -- | See 'xor'. (.^.) :: Bits a => a -> a -> a (.^.) = xor -- Avoid redefinition of the Operators.Boolean xor+#endif  -- | Shifting values of a stream to the left. (.<<.) :: (Bits a, Typed a, Typed b, P.Integral b)