Add totality warnings to CHANGELOG
commit86fff05a6471baf1501bb7d4b7affde81651563d
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 6 May 2014, 20:26 (12 years ago)
parent7f9526c
CHANGELOG+3
@@ -16,6 +16,9 @@ New in 0.9.13:
1616* :apropos now accepts space-delimited lists of query items, and searches for the conjunction
1717 of its inputs. It also accepts binder syntax as search strings - for instance, -> finds
1818 functions.
19+* Totality errors are now treated as warnings until code generation time, when they become
20+ errors again. This allows users to use the interactive editing features to fix totality
21+ issues, but no programs that violate the stated assumptions will actually run.
1922
2023Internal changes
2124