copilot-language 3.2.1 → 3.3

raw patch · 5 files changed

+25/−18 lines, 5 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 +12/−6
• README.md +2/−2
• copilot-language.cabal +5/−5
• src/Copilot/Language/Error.hs +5/−3
• src/Copilot/Language/Operators/Extern.hs +1/−2

@@ -1,14 +1,20 @@+2021-05-07+        * Version bump (3.3). (#217)+        * Remove unused type. (#110)+        * Deprecate funArg. (#109)+        * Update contact details in error message. (#108)+ 2021-03-07-        * Version bump (3.2.1). (#20)-        * Completed the documentation. (#14)+        * Version bump (3.2.1). (#106)+        * Completed the documentation. (#112)  2020-05-07         * Version bump (3.2).-        * Fixed the reverse order of triggers (#11).+        * Fixed the reverse order of triggers (#114).         * Update description, bug-reports, changelog fields in cabal file-          (#8).-        * Bump ghc-prim version bounds (#12).+          (#116).+        * Bump ghc-prim version bounds (#122).  2019-11-22 Ivan Perez <ivan.perez@nianet.org>         * Version bump (3.1).-        * Remove ExternFun (#6).+        * Remove ExternFun (#118).

@@ -1,4 +1,4 @@-[![Build Status](https://travis-ci.org/Copilot-Language/copilot-language.svg?branch=master)](https://travis-ci.org/Copilot-Language/copilot-core)+[![Build Status](https://travis-ci.org/Copilot-Language/copilot.svg?branch=master)](https://travis-ci.org/Copilot-Language/copilot-core)  # Copilot: a stream DSL Copilot-language contains the actual embedded domain specific language that@@ -34,4 +34,4 @@  ## License Copilot is distributed under the BSD-3-Clause license, which can be found-[here](https://raw.githubusercontent.com/Copilot-Language/copilot-language/master/LICENSE).+[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/LICENSE).

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                copilot-language-version:             3.2.1+version:             3.3 synopsis:            A Haskell-embedded DSL for monitoring hard real-time                      distributed systems. description:@@ -19,7 +19,7 @@                      Sebastian Niller, Nis Nordby Wegmann maintainer:          Frank Dedden <dev@dedden.net> homepage:            https://copilot-language.github.io-bug-reports:         https://github.com/Copilot-Language/copilot-language/issues+bug-reports:         https://github.com/Copilot-Language/copilot/issues stability:           Experimental category:            Language, Embedded build-type:          Simple@@ -27,7 +27,7 @@  source-repository head     type:       git-    location:   https://github.com/Copilot-Language/copilot-language.git+    location:   https://github.com/Copilot-Language/copilot.git  library   default-language: Haskell2010@@ -40,8 +40,8 @@                , mtl             >= 2.0 && < 3                , ghc-prim        >= 0.3 && < 0.7 -               , copilot-core    >= 3.2.1 && < 3.3-               , copilot-theorem >= 3.2.1 && < 3.3+               , copilot-core    >= 3.3 && < 3.4+               , copilot-theorem >= 3.3 && < 3.4    exposed-modules: Copilot                  , Copilot.Language

@@ -14,9 +14,11 @@            -> String -- ^ Name of the package in which the function is located.            -> a impossible function package =-  error $ "Impossible error in function " ++ function ++ ", in package " ++-    package ++ ".  Please email Lee Pike at <lee pike @ gmail . com> " ++-    "(remove spaces) or file a bug report on github.com."+  error $ "Impossible error in function "+    ++ function ++ ", in package " ++ package+    ++ ". Please file an issue at "+    ++ "https://github.com/Copilot-Language/copilot/issues"+    ++ "or email the maintainers at <dev@dedden.net>"  -- | Report an error due to an error detected by Copilot (e.g., user error). badUsage :: String -- ^ Description of the error.

@@ -26,8 +26,6 @@ import Data.Word import Data.Int -type Size = Int- --------------------------------------------------------------------------------  -- | Create a stream populated by an external global variable.@@ -47,6 +45,7 @@ -- | Deprecated. funArg :: Typed a => Stream a -> Arg funArg = Arg+{-# DEPRECATED funArg "funArg is deprecated" #-}  --------------------------------------------------------------------------------