@@ -5,14 +5,17 @@
5+ In `@`-patterns such as `x@p`, `x` is now in scope on the right-hand side
5+ In `@`-patterns such as `x@p`, `x` is now in scope on the right-hand side
6 of any definitions in `where` clauses, provided the left-hand side of the
6 of any definitions in `where` clauses, provided the left-hand side of the
7 definition does not shadow it.
7 definition does not shadow it.
8−+ Private functions are no longer visible in the REPL except for modules
8+
9− that are explicitly loaded.
11## Library Updates
10## Library Updates
13+ Added `Text.Literate`, a module for working with literate source files.
12+ Added `Text.Literate`, a module for working with literate source files.
14+ Added `Data.IORef`, for working with mutable references in `IO`.
13+ Added `Data.IORef`, for working with mutable references in `IO`.
16++ Private functions are no longer visible in the REPL except for modules
17+ that are explicitly loaded.
16# New in 1.1.1
19# New in 1.1.1
18+ Erasure analysis is now faster thanks to a bit smarter constraint solving.
21+ Erasure analysis is now faster thanks to a bit smarter constraint solving.