summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Afficher "external foo ... = ..." au lieu de "val foo ... = ...".Xavier Leroy1997-03-101-1/+2
* Includecore.class_type renomme' en Includecore.class_types.Jérôme Vouillon1997-03-101-48/+72
* Erreur Class_type renommee en Class_types.Jérôme Vouillon1997-03-101-1/+1
* Suppression de Ident.identity.Jérôme Vouillon1997-03-102-19/+1
* Includecore.class_type renomme' en Includecore.class_types.Jérôme Vouillon1997-03-102-2/+2
* Subst.type_expr laisse le type inchange' si la substitution estJérôme Vouillon1997-03-101-0/+1
* Modifications de commentaires.Jérôme Vouillon1997-03-101-12/+4
* Nettoyage de subst.ml.Jérôme Vouillon1997-03-091-125/+127
* Quelques commentaires supplementaires.Jérôme Vouillon1997-03-091-1/+3
* Nettoyage de nondep_type.Jérôme Vouillon1997-03-091-0/+4
* Nettoyage de nondep_type.Jérôme Vouillon1997-03-092-129/+191
* Bug d'affichage des variables non generiques.Jérôme Vouillon1997-03-091-1/+3
* Nettoyage de moregeneral et non_recursive_abbrev.Jérôme Vouillon1997-03-081-138/+138
* Composants mis dans le meme ordre que dans ctype.mlJérôme Vouillon1997-03-081-31/+43
* Ctype.make_nongen applique egalement sur le type des expressionsJérôme Vouillon1997-03-081-1/+2
* Suppression du ; optionnel, trop ambigu. La syntaxe est suffisamment confuse ...Xavier Leroy1997-03-082-3/+3
* Info de debugage oubliee...Jérôme Vouillon1997-03-071-3/+0
* check_nongen_schemes generalise egalement completement les types (tous lesJérôme Vouillon1997-03-071-5/+8
* Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon1997-03-071-5/+2
* Plus de compression de chemin dans reprJérôme Vouillon1997-03-071-210/+221
* Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon1997-03-071-20/+28
* Les contraintes doivent etre de la forme 'a = t ou 'a estJérôme Vouillon1997-03-071-5/+7
* L'alias (t as 'a) peut etre utilise avec tout type t (pas seulementJérôme Vouillon1997-03-072-109/+60
* Les identificateurs n'etaient pas identifies "dans le bon sens".Jérôme Vouillon1997-03-073-10/+13
* Bug de generalisation.Jérôme Vouillon1997-03-071-5/+24
* Les parametres des constructeurs de types peuvent etresJérôme Vouillon1997-02-2010-1132/+1208
* - Ajout type "any"Daniel de Rauglaudre1997-02-111-1/+2
* Changement des boi^tes de pretty-printPierre Weis1997-02-046-38/+38
* Quelques petits changements...Jérôme Vouillon1997-01-241-37/+78
* Correction de bugs.Jérôme Vouillon1997-01-231-119/+144
* Modification de la maniere dont l'expansion des abbreviations estJérôme Vouillon1997-01-2113-86/+131
* Encore des modifications de Ctype.Jérôme Vouillon1997-01-212-230/+257
* Debut de simplification de Ctype.Jérôme Vouillon1997-01-208-372/+402
* Ajout du support pour le debuggerXavier Leroy1996-11-292-31/+101
* Dans les declarations de la formeXavier Leroy1996-11-131-1/+7
* Gestion des boi^tes ?Pierre Weis1996-11-081-4/+3
* Misc.lowercase -> String.uncapitalizeXavier Leroy1996-10-311-1/+1
* Unification sous prefixe : le test d'occurence ne traverse pas tout leJérôme Vouillon1996-10-281-26/+61
* `build_supertype' inutilise.Jérôme Vouillon1996-10-271-59/+3
* Type de methode maintenant optionnel dans interface de classe (permetJérôme Vouillon1996-10-262-1/+14
* Correction d'un bug des classes recursives dans une interface.Jérôme Vouillon1996-10-261-9/+2
* Message d'erreur correct pour `(1 : int :> bool)'.Jérôme Vouillon1996-10-261-7/+14
* Equivalent de type_expect pour les methodes.Jérôme Vouillon1996-10-263-13/+45
* Revision de la fonction `occur' : accepte de nouveau les recursions aJérôme Vouillon1996-10-261-15/+50
* Pour les sous-typage, il faut differencier les variables "libres" desJérôme Vouillon1996-10-261-4/+6
* Bug dans check_unique_names : les classes produisent des abreviations...Jérôme Vouillon1996-10-251-1/+5
* Meilleur traitement des abreviations dans Ctype.moregen et Ctype.moregen_occurXavier Leroy1996-10-251-33/+38
* Typos.Jérôme Vouillon1996-10-082-2/+2
* Deplacement d'un try...with dans expand_abbrev.Xavier Leroy1996-10-011-16/+14
* Gestion des niveaux de variables revue dans les declarations de types.Xavier Leroy1996-09-241-0/+5
View Lorry Controller Status