diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2013-10-30 14:14:26 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2013-10-30 14:14:26 +0000 |
| commit | e499400188dae49812f36c3ba3ca2ab7b67a7b9c (patch) | |
| tree | 26aa929a81363c6da18167c045bd034e1e8ea2fd /Changes | |
| parent | 9212dd34acb965d804724c510125fc27bc3f1d57 (diff) | |
PR#6216: inlining of GADT matches generates invalid assembly
(reflecting commit r14251 on version/4.01).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -49,6 +49,8 @@ OCaml 4.01.1: Bug fixes: - PR#6173: Typing error message is worse that before - PR#6174: OCaml compiler loops on an example using GADTs (non -rectypes) +- PR#6216: inlining of GADT matches generates invalid assembly + OCaml 4.01.0: ------------- |