diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-07-15 16:35:35 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-07-15 16:35:35 +0000 |
| commit | 3b143305602327f4412631e4adb0ffadc64e0854 (patch) | |
| tree | 2f58974d52a00e62202df7702945dc6698c6d3ed /otherlibs/unix/unix.ml | |
| parent | 41c7d86e6d525769c5f378add9c7b5dba0ef3608 (diff) | |
Ident: ajout de Ident.iter.
Autres: unification sous prefixe lors de l'inference de types, corrige
le bug de Russo:
let x = ref [];; module F(X) = struct type t let _ = (x:t list ref) ... end;;
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/unix.ml')
0 files changed, 0 insertions, 0 deletions