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

142 Commits (72d1e146edb54d25341ae04372d5b936d7e544cc)

Author SHA1 Message Date
Daniel de Rauglaudre 3b5da7725e Personalisation de l'affichage des valeurs et des types dans le toplevel. 
Ajouté module Outcometree et des hooks dans le toplevel: print_out_value et
print_out_type. (j'ai oublié de mettre un message log dans le 1er commit)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-08-04 10:08:19 +00:00
Jacques Garrigue 02ca0f87f8 enforce uniqueness of typing in label mode 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-04-19 08:34:21 +00:00
Jacques Garrigue 141578ccef ajout d'un champ filtrage a Reither 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-03-03 00:14:35 +00:00
Jacques Garrigue 9a9af71842 correct bug in typing of variant matching (PR#217) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-11-06 09:49:27 +00:00
Jacques Garrigue 5dfbff7f5e change variance syntax 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-09-07 10:57:32 +00:00
Jacques Garrigue 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
Jacques Garrigue 3ad649f365 imprime les traces meme sans expansion, pour les erreurs de sous-typage 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-08-11 03:19:51 +00:00
Jacques Garrigue 876df83f6b print constraints correctly 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-06-28 05:47:42 +00:00
Jacques Garrigue 833da5e199 pas de | dans les listes de tags 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-06-14 10:01:44 +00:00
Jacques Garrigue bbb09e97c2 PR #138 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-06-12 07:07:01 +00:00
Jacques Garrigue 1b1e463092 Simpifie les types de variantes, change le typage des matchings ouverts 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-06-11 14:34:10 +00:00
Jacques Garrigue 0f6571dd22 correctly print equality constraint between type parameters 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-05-25 03:09:28 +00:00
Jacques Garrigue 6aa3532b1a N'imprimer la marque "_" que si le type _reel_ est une variable. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-05-15 00:52:09 +00:00
Jacques Garrigue 23bebe81a6 tiny variant corrections 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-05-12 03:12:19 +00:00
Jacques Garrigue a681b5863b petite amelioration de la normalisation des types et des alias d'impression 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-05-11 02:22:54 +00:00
Jacques Garrigue f5887684a7 revision de l'indentation des variantes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3023 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-04-01 13:00:35 +00:00
Jacques Garrigue 9237564252 * retour en arriere sur la simplification 
(elle cassait l'impression des variantes fixes et polymorphes)
* l'espace manquant dans les variantes polymorphes etait intentionnel.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-29 06:09:03 +00:00
Pierre Weis 27aba41905 Simplification des itérateurs d'impression. Petit bug dans 
l'impression des variantes polymorphes (on sautait un espace avant la
| mais pas après).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-27 15:15:08 +00:00
Jacques Garrigue 82a3975673 un ppf manquait 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-23 07:38:13 +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
Jacques Garrigue 68366b2500 sorry for the tabs 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-15 07:55:24 +00:00
Jacques Garrigue 31f70a75d4 better printing and colorizing 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-15 07:43:33 +00:00
Pierre Weis b34a32bdd8 Le module Ident passe a Format. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2955 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-13 16:49:01 +00:00
Jacques Garrigue 403be2c0fd meilleure impression pour ocamlbrowser 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2951 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-13 05:22:23 +00:00
Pierre Weis 6333985b45 Détail. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-09 16:53:08 +00:00
Pierre Weis 033ba760b6 Revue l'impression des modules et des signatures. 
Aussi modifiée, l'impression des types concrets et enregistrements +
les variantes polymorphes.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-08 16:48:10 +00:00
Pierre Weis 2303bdccda Impression des type record. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-07 19:33:23 +00:00
Pierre Weis efe46b26d2 Erreurs de typage. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-07 13:11:14 +00:00
Pierre Weis 98b19f550d Mélange fprint print_* (tout doit être imprimé dans le formatteur 
argument, donc utiliser fprintf).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-07 13:06:02 +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
Jacques Garrigue 6f39a8f48d variant fixes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-02-25 03:33:54 +00:00
Jacques Garrigue 97d12606f7 simplify conjunctive types 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-02-24 10:18:25 +00:00
Jacques Garrigue b1231d6d1d variant types 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2678 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-12-08 17:25:36 +00:00
Jacques Garrigue b9926a88ba improved printing of value identifiers and type declarations 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-12-01 09:31:32 +00:00
Jacques Garrigue 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
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
Xavier Leroy a048d42b10 Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-11-08 17:06:33 +00:00
Xavier Leroy 77eafb2e84 Affichage des val infixes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-10-14 13:41:29 +00:00
Xavier Leroy 5038f3cdb6 Ajout de Pervasives.ignore. List.remove -> List.remove_ass* 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-02-24 15:21:50 +00:00
Jérôme Vouillon f57a4d6852 Message d'erreur d'unification parfois erroné 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-02-16 21:08:03 +00:00
Pierre Weis ce7657b91c Repartition des messages entre stderr et stdin 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-02-16 18:29:28 +00:00
Jérôme Vouillon f7f63e76c1 Bug d'affichage du type des classes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-12-09 20:04:20 +00:00
Jérôme Vouillon f4e80491cf Bug d'affichage des erreurs de sous-typage 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-11-30 19:06:52 +00:00
Jérôme Vouillon d69230b152 Bugs divers 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-11-30 13:06:53 +00:00
Jérôme Vouillon c87cd842f5 Nettoyage de l'affichage des classes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-11-29 18:02:58 +00:00
Jérôme Vouillon 9d0d7cf702 Quelques bugs d'affichage 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-11-24 21:55:05 +00:00
Pierre Weis 7298911eae Ajout du warning de la séquence et pilotage des warnings par l'utilisateur. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-11-05 08:07:15 +00:00
Jérôme Vouillon f23257809b Bug affichage erreur de sous-typage 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-08-17 11:13:47 +00:00
Jérôme Vouillon 097c8d5d5e Bug d'affichage des erreurs d'unification 
Mise a jour de l'affichage du type des classes


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-08-15 13:50:50 +00:00
Jérôme Vouillon d1561bbfe8 Optimisation de la verification des relations d'egalite, d'instanciation 
et de sous-typage entre types.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-07-03 17:40:39 +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 2a34e4305d Meilleur affichage des val infix 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-11 12:52:32 +00:00
Xavier Leroy 747f13ad93 Formatage de l'interface affichee par -i 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-09 16:08:08 +00:00
Xavier Leroy 2d4b4b54ac Imprimer type t = ... and s = ... 
(C'est pas encore parfait, mais mieux que l'ancienne impl)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-04-14 14:48:08 +00:00
Xavier Leroy 1c1fa41dac Suppression cas catch-all inutile 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-12-09 09:12:51 +00:00
Jérôme Vouillon e87a671da1 Bug pour l'affichage du type de self 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1800 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-11-24 12:05:55 +00:00
Jérôme Vouillon 576365579c \"private method\" -> \"method protected\" 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-11-13 09:04:16 +00:00
Damien Doligez 84e2a4bb07 ident.ml: suppression du dernier matching non exhaustif 
printtyp.ml: changement du type de List.iter


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-10-31 13:02:30 +00:00
Damien Doligez 27ae624991 suppression de quelques warnings 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-10-22 13:26:19 +00:00
Jérôme Vouillon 874f21a083 Methodes privees. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-11 21:48:21 +00:00
Jérôme Vouillon 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
Xavier Leroy ff0a788227 Afficher "external foo ... = ..." au lieu de "val foo ... = ...". 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 13:57:44 +00:00
Jérôme Vouillon 0e43b8c79f Bug d'affichage des variables non generiques. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-09 14:22:24 +00:00
Xavier Leroy b72e959744 Suppression du ; optionnel, trop ambigu. La syntaxe est suffisamment confuse comme ca. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-08 12:14:57 +00:00
Jérôme Vouillon 4dd64117e7 Info de debugage oubliee... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 23:20:13 +00:00
Jérôme Vouillon 3a88e177ed L'alias (t as 'a) peut etre utilise avec tout type t (pas seulement 
objet et type construit).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:26:29 +00:00
Jérôme Vouillon a4eea9ac45 Les parametres des constructeurs de types peuvent etres 
contraints. Par exemple :
  type 'a t = 'b * 'c constraint 'a = 'b -> 'c


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-20 20:39:02 +00:00
Pierre Weis a6c6120f14 Changement des boi^tes de pretty-print 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-04 08:03:29 +00:00
Jérôme Vouillon 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
Pierre Weis 975c4742fa Gestion des boi^tes ? 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-11-08 13:38:34 +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
Jérôme Vouillon 7d0913093b Affichage de type recursif qui bouclait. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-08-13 15:04:24 +00:00
Jérôme Vouillon eae90e28b1 Methodes concretes representees par Set.t plutot que string list. 
Correction d'un bug au passage.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@859 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-06-03 16:26:27 +00:00
Jérôme Vouillon ed1cdeebcf Amelioration de quelques messages d'erreur. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-26 13:42:34 +00:00
Jérôme Vouillon d6770a9231 Amelioration des messages d'erreurs d'unification (expansion des 
abbreviations).
Typeclass: correction d'un bug de typage.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-20 16:43:29 +00:00
Jérôme Vouillon 064465320e Nettoyage : Label.t remplace par string. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-16 16:10:16 +00:00
Xavier Leroy 77d13ee8d2 Printtyp: simplifications. 
Subst: attention aux conflits entre variables substituees et variables liees


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@819 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-16 14:16:34 +00:00
Jérôme Vouillon 1acf888842 Correction de l'affichage des types de classes. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-14 15:41:13 +00:00
Xavier Leroy 3f1e6a86e7 Utiliser des vbox au lieu de hvbox pour les classes. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-07 08:15:26 +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 bc19852852 Modification de la syntaxe des classe. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-04-25 10:35:04 +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 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
Xavier Leroy 7e691c81a6 Meilleur traitement des variables non generalisables. 
Divers nettoyages pendant l'ecriture de la doc.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-09-02 18:55:37 +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 5c6922e9a2 Isolement des descriptions de primitives dans le module Primitive. 
Detection des records de flottants.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-27 17:46:55 +00:00
Xavier Leroy 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
Xavier Leroy cd93956a7b Curryfication de Format.print_break. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@67 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-07-07 12:09:01 +00:00
Xavier Leroy 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
Xavier Leroy 997fb206a7 Printf.sprintf et String.concat dans stdlib 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1995-05-05 10:05:18 +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