summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
1997-03-11Marquage des primitives ML (pour le toplevel Windows).Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-11Nettoyage choix du compilo CXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10MacintoshDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Retour du ; optionnel -- Coq l'utilise beaucoup...Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10MAJ numero de version.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Afficher "external foo ... = ..." au lieu de "val foo ... = ...".Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Ne pas sauver l'etat courant dans le lexbuf pendant un refill,Xavier Leroy
mais le repasser explicitement en resultat/argument de lex_engine. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Lexing: ne pas sauver l'etat courant dans le lexbuf pendant un refill,Xavier Leroy
mais le repasser explicitement en resultat/argument de lex_engine. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Lexing: ne pas sauver l'etat courant dans le lexbuf pendant un refill.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1361 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10MAJ.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1360 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Includecore.class_type renomme' en Includecore.class_types.Jérôme Vouillon
Erreur Class_type renommee en Class_types. Utilisation de substitutions plutot que Ident.identify. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Erreur Class_type renommee en Class_types.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Suppression de Ident.identity.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Includecore.class_type renomme' en Includecore.class_types.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Subst.type_expr laisse le type inchange' si la substitution estJérôme Vouillon
l'identite'. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-10Modifications de commentaires.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-09Nettoyage de subst.ml.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-09Quelques commentaires supplementaires.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1352 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-09Nettoyage de nondep_type.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-09Nettoyage de nondep_type.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-09Bug d'affichage des variables non generiques.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Nettoyage de moregeneral et non_recursive_abbrev.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Composants mis dans le meme ordre que dans ctype.mlJérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Ctype.make_nongen applique egalement sur le type des expressionsJérôme Vouillon
toplevel non generalisable, afin que les niveaux soient corrects lors des appels de Ctype.moregeneral durant l'affichage du resultat de l'evaluation. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Ajout de gc_check_open oubliesXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Doc release 1.04Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08MAJ options NextstepXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Renvoyer le resultat de weak_create...Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Ajout version code natifXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-08Suppression du ; optionnel, trop ambigu. La syntaxe est suffisamment confuse ↵Xavier Leroy
comme ca. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Info de debugage oubliee...Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07check_nongen_schemes generalise egalement completement les types (tous lesJérôme Vouillon
niveaux mis a generique). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon
Ctype.closed_schema prend un parametre supplementaire (possibilite de generaliser completement un type au passage) Fonction is_generic et exception Nonlinear_abbrev supprimees git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Plus de compression de chemin dans reprJérôme Vouillon
Correction d'un bug de update_level Ctype.expand_root renomme en Ctype.expand_head Nettoyage de occur Nettoyage (partiel) de moregeneral Nettoyage de closed_schema. Prend maintenant un parametre supplementaire (possibilite de generaliser completement un type au passage) Fonction is_generic et exception Nonlinear_abbrev supprimees git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon
Les contraintes doivent etre de la forme 'a = t ou 'a est effectivement un parametre Ctype.closed_schema a un parametre supplementaire git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Les contraintes doivent etre de la forme 'a = t ou 'a estJérôme Vouillon
effectivement un parametre git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Un test supplementaire.Jérôme Vouillon
Utilisation de ../ocaml. L'en-tete ("Objective Caml version xxx") est ignoree. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07L'alias (t as 'a) peut etre utilise avec tout type t (pas seulementJérôme Vouillon
objet et type construit). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Les identificateurs n'etaient pas identifies "dans le bon sens".Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Bug de generalisation.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Traitement des branchements conditionnels longsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Premiere tentative de traitement des branchements conditionnels longsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07Rendre desc mutable pour certains emetteurs de code (emit_hppa)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-05Erreur dans shift vers la droiteXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1325 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-05Erreur dans Nativeint.cmpXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-05lexing.ml: refill_buffer rendu reentrant.Xavier Leroy
weak.ml: utiliser Obj.size au lieu de Array.length pour determiner la taille. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-05Il faut que wait_timed_{read,write} ne prennent qu'un argument, commeXavier Leroy
toutes les autres primitives qui reschedulent. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-05-Daniel de Rauglaudre
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-05MAJ portage WindowsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-20 16:39:19 +0000