@@ -18,6 +18,10 @@ New in 0.9.11:
18 when disambiguating overloaded names. For example, it is possible to
18 when disambiguating overloaded names. For example, it is possible to
19 write "with Vect [1,2,3]" at the REPL instead of "the (Vect _ _) [1,2,3]",
19 write "with Vect [1,2,3]" at the REPL instead of "the (Vect _ _) [1,2,3]",
20 because the Vect constructors are defined in a namespace called Vect.
20 because the Vect constructors are defined in a namespace called Vect.
21+* assert_smaller internal function, which marks an expression as smaller than
22+ a pattern for use in totality checking.
23+ e.g. "assert_smaller (x :: xs) (f xs)" asserts that "f xs" will always be
24+ structurally smaller than "(x :: xs)"
22Internal changes
26Internal changes