@@ -5,30 +5,33 @@ New in 0.9.10:
5 types may now depend on earlier methods.
5 types may now depend on earlier methods.
6* More flexible class instance resolution, so that function types and lambda
6* More flexible class instance resolution, so that function types and lambda
7 expressions can be made instances of a type class.
7 expressions can be made instances of a type class.
8−* Add '%reflection' option for functions, for compile-time operations on
10−* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
12* Add !expr notation for implicit binding of intermediate results in
8* Add !expr notation for implicit binding of intermediate results in
13− monadic/do/etc expressions
9+ monadic/do/etc expressions.
14* Extend Effects package to cope with possibly failing operations, using
10* Extend Effects package to cope with possibly failing operations, using
15− "if_valid", "if_error", etc
11+ "if_valid", "if_error", etc.
16−* At the REPL, "it" now refers to the previous expression
12+* At the REPL, "it" now refers to the previous expression.
17* Semantic colouring at the REPL. Turn this off with --nocolour.
13* Semantic colouring at the REPL. Turn this off with --nocolour.
18−* Some prettifying of error message
14+* Some prettifying of error messages.
19* The contents of ~/.idris/repl/init are run at REPL start-up.
15* The contents of ~/.idris/repl/init are run at REPL start-up.
20−* The REPL stores a command history in ~/.idris/repl/history
16+* The REPL stores a command history in ~/.idris/repl/history.
21* The [a..b], [a,b..c], [a..], and [a,b..] syntax now pass the totality
17* The [a..b], [a,b..c], [a..], and [a,b..] syntax now pass the totality
22 checker and can thus be used in types. The [x..] syntax now returns an
18 checker and can thus be used in types. The [x..] syntax now returns an
23 actually infinite stream.
19 actually infinite stream.
20+* Add '%reflection' option for functions, for compile-time operations on
22+* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
24+* Performance improvements in Strings library.
25+* Library reorganisation, separated into prelude/ and base/.
25Internal changes
27Internal changes
27−* New module/dependency tree checking
29+* New module/dependency tree checking.
28−* New parser implementation with more precise errors
30+* New parser implementation with more precise errors.
29−* Improved type class resolution
31+* Improved type class resolution.
30−* Compiling Nat via GMP integers
32+* Compiling Nat via GMP integers.
31−* Performance improvements in elaboration
33+* Performance improvements in elaboration.
34+* Improvements in termination checking.
32* Various REPL commands to support interactive editing, and a client/server
35* Various REPL commands to support interactive editing, and a client/server
33 mode to allow external invocation of REPL commands.
36 mode to allow external invocation of REPL commands.