Prepare for release 0.2.0

well-typed · Dec 20, 2023 · 191fefc · 191fefc
1 parent 4438183
commit 191fefc
Show file tree

Hide file tree

Showing 4 changed files with 25 additions and 16 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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.16 && < 2.22
+                     , text                 >= 1.2  && < 2.2
   hs-source-dirs:      src
   default-language:    Haskell2010
   default-extensions:  DeriveDataTypeable