summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changes b/Changes
index 4ed0290f6..5e4e564c7 100644
--- a/Changes
+++ b/Changes
@@ -14,6 +14,7 @@ Language:
and UnixLabels. "open StdLabels" gives access to the first three.
- Extended polymorphic variant type syntax, allowing union types and
row abbreviations for both sub- and super-types. #t deprecated in types.
+- See the Upgrading file for how to adapt to all the above changes.
Type-checker:
- Fixed obscure bug in module typing causing the type-checker to loop