diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2015-10-19 15:47:33 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2015-10-19 15:47:33 +0000 |
| commit | 659615c7b100a89eafe6253e7a5b9d84d0e8df74 (patch) | |
| tree | b016182ae3bf29dc0915b8d24ef10c4880990114 /Changes | |
| parent | c9f0dc970394c6fbc4f71d6cf43bfcde6664e3c5 (diff) | |
| download | ocaml-659615c7b100a89eafe6253e7a5b9d84d0e8df74.tar.gz | |
fix PR#7003 and a few other bugs caused by misuse of Int_val
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -204,8 +204,10 @@ 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#7003: String.sub causes segmentation fault + (Damien Doligez, report by Radek Micek) - PR#7008: Fatal error in ocamlc with empty compilation unit name - (Damien Doligez) + (Damien Doligez, report by Cesar Kunz) - PR#7012: Variable name forgotten when it starts with a capital letter (Jacques Garrigue, Gabriel Scherer, report by Thomas Leonard and Octachron) - PR#7016: Stack overflow in GADT typing |