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