Updated changelog and add GitHub issue reference: Fixes #4702
commitdbf060cf176b9dbe5233b4e1d6c507ff502251de
authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
dateWed 15 May 2019, 14:22 (7 years ago)
parent8fe28aa
CHANGELOG.md+1
@@ -9,6 +9,7 @@
99+ Modules no longer require building if imports have changed but all
1010 interfaces (i.e. types for names declared `export` and definitions of names
1111 declared `public export`) are unchanged.
12++ The result of calling `:doc` now details the accessbility of items as well as their totality.
1213
1314## Miscellaneous updates
1415+ Compiler flag `--optimise-nat-like-types` enables compilation