diff options
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -6,6 +6,11 @@ Next version: Other libraries: * Labltk: removed from the distribution, now available as a third-party library +Type system: +* Keep typing of pattern cases independent in principal mode + (i.e. information from previous cases is no longer used when typing + patterns; cf. PR6235' in typing-warnings/records.ml) + Language features: - Attributes and extension nodes @@ -53,6 +58,7 @@ 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 +- PR#6235: Issue with type information flowing through a variant pattern OCaml 4.01.0: |