diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-11-22 13:48:55 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-11-22 13:48:55 +0000 |
| commit | 7b71ab6f468a896e0d331b8ec87fb6b87227cafc (patch) | |
| tree | 57c0ded6d9304c9d21e3b89389792b32eb71cfff /otherlibs/unix | |
| parent | 5e768d0dc73b6099a018cc285cd4c2d2e29714d5 (diff) | |
Misc.for_all2 et List.for_all2 ont des semantiques tres legerement
differentes. Il me semble donc important de qualifier explicitement
toutes les occurrences de for_all2 dans ce fichier qui utilise tour a
tour les deux versions. Une autre apporche consisterait sans doute à
changer le for_all2 de la bibliothèque ou bien à l'utiliser
systematiquement ici en testant le cas des listes de longeurs
differentes...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions