Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Petite correction. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jérôme Vouillon 1996-09-27 11:40:19 +00:00
parent 40d5f632ca
commit 85f72f1f07
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Changes
View File

@ -4,7 +4,7 @@ Objective Caml 1.02:
- fixed bug with type names escaping their scope via unification
with non-generalized type variables '_a;
- keep #class abbreviations longer;
- faster checking of well-formed object types in declarations;
- faster checking of well-formed abbreviation definitions;
- stricter checking of "with" constraints over signatures (arity
mismatch, overriding of an already manifest type).