From 880028d3498ebb8ee4a2cbd8fac7410108b7692f Mon Sep 17 00:00:00 2001 From: Edsko de Vries Date: Wed, 20 Dec 2023 20:04:56 +0100 Subject: [PATCH] Prepare for release 0.2.0 --- ChangeLog.md | 14 +++++++++++++- src/CBN/Parser.hs | 2 +- src/CBN/SelThunkOpt.hs | 2 +- visualize-cbn.cabal | 23 ++++++++++------------- 4 files changed, 25 insertions(+), 16 deletions(-) diff --git a/ChangeLog.md b/ChangeLog.md index 6733cb9..fae2f60 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -1,5 +1,17 @@ # Revision history for visualize-cbn +## 0.2.0 -- 2023-12-20 + +* Support multiple (mutually recursive) bindings in `let` +* Fix pattern matching on heap-allocated objects (we were losing sharing) +* Support heap inlining +* Support for selectors (`fst`, `snd`) +* Support the selector thunk optimization +* Add `--disable-ansi` command line +* Improve trace summarization +* Add some new primitive functions (`min`, `max`, `succ`) +* Add option to hide the prelude only after a specified step + ## 0.1.0.2 -- 2019-09-10 * Newer GHC compatibility @@ -18,4 +30,4 @@ this avoids moving `e1` to the heap (provided that there aren't multiple references to `x` from `e2`), clarifying the evaluation. * Added graph output (contributed by Yiğit Özkavcı). -* Improved heap descriptions (contributed by Tim Rakowski). +* Improved heap descriptions (contributed by Tim Rakowski). diff --git a/src/CBN/Parser.hs b/src/CBN/Parser.hs index a6f6dc5..f83bfec 100644 --- a/src/CBN/Parser.hs +++ b/src/CBN/Parser.hs @@ -6,10 +6,10 @@ module CBN.Parser ( , parseIO ) where -import Control.Applicative (asum) import Control.Exception import Control.Monad import Data.Bifunctor +import Data.Foldable (asum) import Language.Haskell.TH (Q) import Language.Haskell.TH.Quote import Text.Parsec diff --git a/src/CBN/SelThunkOpt.hs b/src/CBN/SelThunkOpt.hs index 58a6e4b..9038760 100644 --- a/src/CBN/SelThunkOpt.hs +++ b/src/CBN/SelThunkOpt.hs @@ -19,9 +19,9 @@ module CBN.SelThunkOpt (selThunkOpt) where -import Control.Applicative import Control.Monad import Control.Monad.State +import Data.Foldable (asum) import Data.Set (Set) import qualified Data.Map as Map diff --git a/visualize-cbn.cabal b/visualize-cbn.cabal index 2efc9f3..88720c4 100644 --- a/visualize-cbn.cabal +++ b/visualize-cbn.cabal @@ -1,8 +1,6 @@ cabal-version: >=1.10 name: visualize-cbn -version: 0.1.0.2 -x-revision: 3 - +version: 0.2.0 synopsis: Visualize CBN reduction description: CBN interpretation and visualization tool. Exports in text format, coloured text (ANSI) or HTML/JavaScript. @@ -54,18 +52,17 @@ executable visualize-cbn CBN.Util.Doc.Style CBN.Util.Map CBN.Util.Snoc - build-depends: base >= 4.9 && < 4.20 - , ansi-terminal >= 0.6 && < 1.1 - , blaze-html >= 0.8 && < 0.10 - , blaze-markup >= 0.7 && < 0.9 - , containers >= 0.5 && < 0.8 + build-depends: base >= 4.14 && < 4.20 + , ansi-terminal >= 1.0 && < 1.1 + , blaze-html >= 0.9 && < 0.10 + , blaze-markup >= 0.8 && < 0.9 + , containers >= 0.6 && < 0.8 , data-default >= 0.7 && < 0.8 - , optparse-applicative >= 0.12 && < 0.19 + , mtl >= 2.2 && < 2.4 + , optparse-applicative >= 0.18 && < 0.19 , parsec >= 3.1 && < 3.2 - -- version shipped with ghc - , template-haskell - , mtl - , text + , template-haskell >= 2.18 && < 2.22 + , text >= 1.2 && < 2.2 hs-source-dirs: src default-language: Haskell2010 default-extensions: DeriveDataTypeable