summaryrefslogtreecommitdiffstats
path: root/Changes
diff options
context:
space:
mode:
Diffstat (limited to 'Changes')
-rw-r--r--Changes2
1 files changed, 2 insertions, 0 deletions
diff --git a/Changes b/Changes
index 5ada8a79d..5f2f41fd3 100644
--- a/Changes
+++ b/Changes
@@ -8,6 +8,8 @@ Language features:
provided in the type definition module.
That way, the construction functions can enforce any required invariant for
the datatype.
+- Added integer literals of types int32, nativeint, int64
+ (written with an 'l', 'n' or 'L' suffix respectively).
Type-checking:
- Allow polymorphic generalization of covariant parts of expansive expressions