033ec5b736
Decoupage du module Typedtree en deux: Types et Typedtree.
...
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:33:27 +00:00
2301d778e7
Renommage en Objective Caml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30 14:53:58 +00:00
7974a9d8b1
Extension objets.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-22 11:15:41 +00:00
083af27a36
Env.find_ font raise Not_found au lieu d'une erreur si le path n'est
...
pas trouve (p.ex. parce que un .cmi n'est pas disponible).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-03 13:23:03 +00:00
5d2a1f2b9a
Simplification/correction de nondep_supertype sur les declarations de types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-18 15:33:15 +00:00
877b49ccca
nondep_supertype ne se permet plus de faire disparaitre des
...
composantes de structure en position covariante. On se permet quand
meme de transformer type t = ty en type t, comme en SML.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-17 10:02:47 +00:00
371c25886c
Possibilite de rendre manifestes des types variant ou record
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-26 20:23:29 +00:00
90fc1c2cf4
Foncteurs applicatifs.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-23 11:55:54 +00:00
e4066357b1
Ajout des notices de copyright
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09 15:06:35 +00:00
6b4c07d323
Correction bug dans nondep_supertype.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-22 11:58:12 +00:00
61bd8ace6b
Passage a la version bootstrappee (franchissement du Rubicon)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04 10:15:53 +00:00
Xavier Leroy
Jérôme Vouillon