copilot-sbv 2.1.1 → 2.1.2

raw patch · 3 files changed

+7/−7 lines, 3 filesdep ~basedep ~sbvPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, sbv

API changes (from Hackage documentation)

Files

• copilot-sbv.cabal +3/−3
• src/Copilot/Compile/SBV/Code.hs +3/−3
• src/Copilot/Compile/SBV/Driver.hs +1/−1

@@ -1,6 +1,6 @@ cabal-version             : >= 1.10 name                      : copilot-sbv-version                   : 2.1.1+version                   : 2.1.2 synopsis                  : A compiler for CoPilot targeting SBV. description               :   The Copilot back-end targeting SBV <http://hackage.haskell.org/package/sbv>.@@ -38,8 +38,8 @@   ghc-options             : -Wall -fwarn-tabs   ghc-prof-options        : -auto-all -caf-all -  build-depends           : sbv >= 2.4-                          , base >= 4.0 && <= 5.0+  build-depends           : sbv >= 2.1+                          , base >= 4.0 && < 5                           , containers >= 0.4                           , copilot-core >= 0.2.4                           , pretty >= 1

@@ -37,7 +37,7 @@ --------------------------------------------------------------------------------  updateStates :: MetaTable -> C.Spec -> [SBVFunc]-updateStates meta (C.Spec streams _ _) =+updateStates meta (C.Spec streams _ _ _) =   map updateStreamState streams    where@@ -63,7 +63,7 @@ --------------------------------------------------------------------------------  updateObservers :: MetaTable -> C.Spec -> [SBVFunc]-updateObservers meta (C.Spec _ observers _) =+updateObservers meta (C.Spec _ observers _ _) =   map updateObs observers    where@@ -85,7 +85,7 @@ --------------------------------------------------------------------------------  fireTriggers :: MetaTable -> C.Spec -> [SBVFunc]-fireTriggers meta (C.Spec _ _ triggers) =+fireTriggers meta (C.Spec _ _ triggers _) =   concatMap fireTrig triggers    where

@@ -53,7 +53,7 @@ --------------------------------------------------------------------------------  driver :: Params -> MetaTable -> C.Spec -> String -> String -> IO ()-driver params meta (C.Spec streams observers _) dir fileName = do+driver params meta (C.Spec streams observers _ _) dir fileName = do   let filePath = dir ++ '/' : driverName params   h <- I.openFile filePath I.WriteMode   let wr doc = I.hPutStrLn h (mkStyle doc)