copilot-language 3.6 → 3.7

raw patch · 3 files changed

+15/−3 lines, 3 filesdep ~copilot-coredep ~copilot-theoremPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: copilot-core, copilot-theorem

API changes (from Hackage documentation)

Files

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

@@ -1,3 +1,7 @@+2022-01-07+        * Version bump (3.7). (#287)+        * Bring back externF. (#261)+ 2021-11-07         * Version bump (3.6). (#264)         * Replace uses of copilot-core's error reporting functions. (#267)

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-language-version:             3.6+version:             3.7 synopsis:            A Haskell-embedded DSL for monitoring hard real-time                      distributed systems. description:@@ -40,8 +40,8 @@                , data-reify      >= 0.6 && < 0.7                , mtl             >= 2.0 && < 3 -               , copilot-core    >= 3.6 && < 3.7-               , copilot-theorem >= 3.6 && < 3.7+               , copilot-core    >= 3.7 && < 3.8+               , copilot-theorem >= 3.7 && < 3.8    exposed-modules: Copilot                  , Copilot.Language

@@ -17,6 +17,7 @@   , externI16   , externI32   , externI64+  , externF   , externD   ) where @@ -110,6 +111,13 @@           -> Maybe [Int64] -- ^ Values to be used exclusively for testing/simulation.           -> Stream Int64 externI64 = extern++-- | Create a stream carrying values of type Float, populated by an external+-- global variable.+externF :: String        -- ^ Name of the global variable to make accessible.+        -> Maybe [Float] -- ^ Values to be used exclusively for testing/simulation.+        -> Stream Float+externF = extern  -- | Create a stream carrying values of type Double, populated by an external -- global variable.