diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-02-02 12:16:55 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-02-02 12:16:55 +0000 |
| commit | 8b2cd6bf02e7c393744a1bbd205d8eca798e7d4c (patch) | |
| tree | 7b796287c944a5b872b42e695cb42e26b054d7b0 | |
| parent | 49dae7249a410738d270ff5ef78a511fe9d4cfd1 (diff) | |
| download | ocaml-8b2cd6bf02e7c393744a1bbd205d8eca798e7d4c.tar.gz | |
bug fixes in type checker
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.08@6766 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | Changes | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -4,6 +4,14 @@ Objective Caml 3.08.3: New features: - support for ocamlopt -pack under Mac OS X +Bug fixes: +- typing: fix unsoundness in type declaration variance inference. + Type parameters which are constrained must now have an explicit variant + annotation, otherwise they are invariant. This is not backward + compatible, so this might break code which either uses subtyping or + uses the relaxed value restriction (i.e. was not typable before 3.07) +- typing: erroneous partial match warning for polymorphic variants (PR#3424) + Objective Caml 3.08.2: ---------------------- |