Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
9,343 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

84 Commits (c0778758c1bc167ac0f9d5725bb886bc26540bc9)

Author SHA1 Message Date
Damien Doligez adfab743f5 PR#4607 reject invalid source file names 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2008-09-10 15:03:33 +00:00
Pierre Weis 2a99b8737b Expanding the usual compiler's type-based optimisations to private abbreviations. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2007-11-01 18:36:43 +00:00
Damien Doligez 1dd68ccf50 ajout des annotations pour variables et appels terminaux 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2007-05-16 08:21:41 +00:00
Jacques Garrigue 6f6b1849c5 -rectypes obligatoire pour les dependences 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2006-06-26 09:38:06 +00:00
Damien Doligez a4a3c10e70 fusion des modifs de 3.08.4 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2005-08-13 20:59:37 +00:00
Xavier Leroy f55d676d2c Interdire les references Foo.x lorsqu'on compile foo.ml ou foo.mli (PR#3100, 3304, 3457) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2005-07-31 12:03:40 +00:00
Jacques Garrigue f2095623ff fast and compact classes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2003-11-25 09:20:45 +00:00
Xavier Leroy 5e152f7945 - Revu en profondeur la verification des CRC d'interfaces. 
Cela corrige le PR#1064.
- Les CRC des modules constituant un programme sont stockes dans
  l'executable bytecode, section CRCS.  Revu Dynlink pour utiliser ces
  CRC au lieu d'attendre de l'utilisateur qu'il les fournisse.
  MAJ du debugger en consequence.
- Introduction et utilisation du fichier stdlib/StdlibModules.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-11-17 16:42:12 +00:00
Xavier Leroy 161bca8da3 Revu generation du .cmi avec ocamlc -pack: supprimer les dependances sur les modules empaquetes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5102 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-08-19 12:23:23 +00:00
Jacques Garrigue 23306c8c51 correction du PR#547: un Not_found produit par find_type s'echappe 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-09-28 22:55:27 +00:00
Jacques Garrigue f4cd8940d3 fix PR#493 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-09-28 00:34:47 +00:00
Xavier Leroy 2300f8148c Ajout de crc_of_unit 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-26 15:49:08 +00:00
Xavier Leroy 7dfe9784b7 Revu la gestion des records de flottants 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-21 14:43:25 +00:00
Pierre Weis b96208b7a2 Revu les impressions du compilateur 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-06 22:12:09 +00:00
Xavier Leroy 9f30fff453 Correction bug dans la determination des representations de records (e.g. {lbl=t} avec type t = float) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-02-05 12:11:34 +00:00
Xavier Leroy 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
Jérôme Vouillon 87b17301f4 Nouvelle syntaxe des classes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-24 19:22:26 +00:00
Xavier Leroy 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
Jérôme Vouillon c63c0dd769 Meilleur approximation des modules utilises. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-04-01 20:53:02 +00:00
Jérôme Vouillon 08cc364187 Pas besoin de Env.level et Subst.limit_level finalement... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:12:33 +00:00
Jérôme Vouillon 29f5e183fa Fonction Env.level : retourne le niveau maximal des constructeurs de 
types contenu dans l'environnement.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 21:16:44 +00:00
Xavier Leroy 3b92524aa9 Ajout du support pour le debugger 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-11-29 18:36:42 +00:00
Xavier Leroy 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
Xavier Leroy df42185ca0 Typage plus strict de "SIG with ..." 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-07-25 13:18:53 +00:00
Xavier Leroy 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
Jérôme Vouillon 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
Xavier Leroy 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
Xavier Leroy febeecacd0 Meilleur message d'erreur dans Env quand .cmi pas trouve. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-10-09 17:39:41 +00:00
Xavier Leroy eda2f6449b Nouveau format de .cmo (utilisation de MD5, detection unsafe) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-10-09 13:37:11 +00:00
Xavier Leroy d6326b99c2 Nettoyage d'un commentaire pour eviter boucle dans dependances... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-08-24 13:25:04 +00:00
Xavier Leroy 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
Xavier Leroy 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
Xavier Leroy 0c9e80f2c8 Nouvelle technique de construction du CRC pour les .cmi. 
List.combine maintenant decurryfiee.
Introduction de Ident.unique_name.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@59 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-02 16:50:08 +00:00
Xavier Leroy 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