copilot-core 3.2.1 → 3.3
raw patch · 4 files changed
+20/−18 lines, 4 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- CHANGELOG +14/−8
- copilot-core.cabal +2/−2
- src/Copilot/Core/MakeTags.hs +4/−1
- src/Copilot/Core/PrettyDot.hs +0/−7
CHANGELOG view
@@ -1,16 +1,22 @@+2021-05-07+ * Version bump (3.3). (#217)+ * Fix URL in bug-reports field in cabal file. (#215)+ * Deprecate unused module Copilot.Core.MakeTags. (#142)+ * Deprecate unused functions in Copilot.Core.PrettyDot. (#137)+ 2021-03-05- * Version bump (3.2.1). (#31)- * Completed the documentation. (#22)+ * Version bump (3.2.1). (#136)+ * Completed the documentation. (#145) 2020-12-06 Ivan Perez <ivan.perez@acm.org> * Version bump (3.2).- * Fixed implementation of tysize for n-dimensional arrays. (#20).- * Removed sorting of interpreter output (#19).- * Minor documentation fixes (#17, #15).+ * Fixed implementation of tysize for n-dimensional arrays. (#147).+ * Removed sorting of interpreter output (#148).+ * Minor documentation fixes (#149, #151). * Credits: @fdedden. 2019-11-22 Ivan Perez <ivan.perez@nianet.org> * Version bump (3.1).- * Eliminate random modules and generators (#9).- * Updated contact information for 'impossible' error (#12).- * Implement missing pretty printer for Index operator (#11).+ * Eliminate random modules and generators (#157).+ * Updated contact information for 'impossible' error (#154).+ * Implement missing pretty printer for Index operator (#155).
copilot-core.cabal view
@@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-core-version: 3.2.1+version: 3.3 synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot.@@ -18,7 +18,7 @@ license-file: LICENSE maintainer: Frank Dedden <dev@dedden.net> homepage: https://copilot-language.github.io-bug-reports: https://github.com/Copilot-Language/copilot-core/issues+bug-reports: https://github.com/Copilot-Language/copilot/issues stability: Experimental category: Language, Embedded build-type: Simple
src/Copilot/Core/MakeTags.hs view
@@ -6,7 +6,10 @@ {-# LANGUAGE Safe #-} -module Copilot.Core.MakeTags (makeTags) where+module Copilot.Core.MakeTags+ {-# DEPRECATED "This module is deprecated in Copilot 3.3." #-}+ (makeTags)+ where import Copilot.Core.Expr import Copilot.Core.Spec
src/Copilot/Core/PrettyDot.hs view
@@ -23,13 +23,6 @@ mkExtTmpVar :: String -> String mkExtTmpVar = ("ext_" ++) -mkExtTmpTag :: String -> Maybe Tag -> String-mkExtTmpTag name tag = "ext_" ++ name ++ "_" ++ show (tagExtract tag)--tagExtract :: Maybe Tag -> Tag-tagExtract Nothing = impossible "tagExtract" "copilot-sbv"-tagExtract (Just tag) = tag- -------------------------------------------------------------------------------- -- | Pretty print a Copilot Expression as a GraphViz graph part.