diff options
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -5,8 +5,9 @@ OCaml 3.13.0: - Warning 28 is now enabled by default. Language features: -- Added GADTs to the language. See testsuite/tests/typing-gadts for - the syntax and some examples of use. Please use -principal for testing. +- Added Generalized Abstract Data Types (GADTs) to the language. See + testsuite/tests/typing-gadts for the syntax and some examples of + use. Please use -principal for testing. - It is now possible to omit type annotations when packing and unpacking first-class modules. The type-checker attempts to infer it from the context. Using the -principal option guarantees forward compatibility. |