diff options
| author | Leo White <lpw25@cl.cam.ac.uk> | 2015-11-03 14:16:03 +0000 |
|---|---|---|
| committer | Leo White <lpw25@cl.cam.ac.uk> | 2015-11-04 11:01:34 +0000 |
| commit | c0ea8bf7792e4d9940afef3ff280e8f9f2c47f74 (patch) | |
| tree | c7952aa7a61a3a0415f175a760143ef12c4a33e4 | |
| parent | 6ee0712423af746a4b9e9f6789ff16a970a89486 (diff) | |
| download | ocaml-c0ea8bf7792e4d9940afef3ff280e8f9f2c47f74.tar.gz | |
Add Changes entry
| -rw-r--r-- | Changes | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -237,6 +237,8 @@ Bug fixes: %s#row when Bar contains private row types - PR#6992: Segfault from bug in GADT/module typing - PR#6993: Segfault from recursive modules violating exhaustiveness assumptions +- PR#6998: Typer fails reading unnecessary cmis with -no-alias-deps and -w -49 + (Leo White, report by Valentin Gatien-Baron) - PR#7003: String.sub causes segmentation fault (Damien Doligez, report by Radek Micek) - PR#7008: Fatal error in ocamlc with empty compilation unit name |