ddc87e9802
PR#1914,PR#1956 depollution de l'espace de noms
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6055 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-04 14:32:34 +00:00
1a4be860d0
Renommage type format -> format4 et reintroduction type format a 3 arguments pour compatibilite arriere
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-05 11:13:24 +00:00
3e4bf9252b
Revu representation des declarations de type private
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-02 09:14:35 +00:00
1fa763e0c5
Merge branch with recursive modules
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-19 15:53:53 +00:00
4202eb8c4d
add weak contravariance for types (PR#1692)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-21 09:04:54 +00:00
12107f3fbe
Reaching the format graal: the fourth element
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-31 09:56:11 +00:00
0dbce74fc8
lazy a la Tolmach
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 17:39:10 +00:00
b80c77b025
fix -noassert pour que le typage des assertions soit toujours fait
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-04 15:37:05 +00:00
83ca813e4b
ajout des variances
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-06 10:21:07 +00:00
b09f44025c
Ajout des types predefinis int32, int64, nativeint.
...
Ajout des primitives correspondantes dans le type lambda.
Optimisation de ces primitives dans le compilateur natif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2839 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-21 18:14:56 +00:00
296fc05470
Merge olabl branch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30 16:07:38 +00:00
cc0f32b054
Changement de la licence
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
88a9a6bb60
Ajout de Sys_blocked_io
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-20 15:38:09 +00:00
d396209609
Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceux
...
des interfaces utilisees pour compiler ce .cmi.
Retour en arriere sur le flag "ps_used" introduit par Jerome, car la
modif sur les CRCs coule definitivement les applets de MMM.
Predef: ajout de l'exception Stack_overflow.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:30:02 +00:00
647dbb0aa4
rien
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 18:28:15 +00:00
03f160c956
Ajout de btype.ml{,i} (operations de bases sur les types)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-24 20:11:22 +00:00
6c452fe5f5
Modification de la maniere dont l'expansion des abbreviations est
...
memorisee.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-21 17:43:53 +00:00
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
7ca9675878
type_mutable et type_immutable ne sont plus utilises.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-14 15:40:00 +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
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
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
d1e2b83c19
Changement representation des primitives.
...
Introduction de datarepr.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:40:07 +00:00
a14b23fd2d
Bidouillage d'un commentaire pour que camldep ne produise pas de
...
dependance circulaire.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@97 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-12 15:32:54 +00:00
f8b0d59e5c
Correction de la declaration de Match_failure (1 argument qui est un
...
triplet, pas 3 arguments).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@27 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-06-05 15:56:44 +00:00
e57ef00576
Remplacement de Cset par Set
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@20 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-30 13:36:40 +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
Damien Doligez
Xavier Leroy
Jacques Garrigue
Pierre Weis
Jérôme Vouillon