Commit Graph

489 Commits (master)

Author SHA1 Message Date
Xavier Leroy 1109a9dd32 Expanser les abreviations dans le type d'une fonction tracee (au cas
ou le type contiendrait une abreviation pour un type fleche).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-10 12:44:14 +00:00
Xavier Leroy e9fe2362db Prompt modifie.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-07-25 13:18:36 +00:00
Daniel de Rauglaudre e18cd1e3c3 Ajout de print_warning dans topdirs.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@855 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-30 14:53:51 +00:00
Xavier Leroy 37aadf83cb Remplacement de Meta.execute_Bytecode par Meta.reify_bytecode.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@848 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-28 12:43:41 +00:00
Xavier Leroy 8b9c458635 On ne peut pas tracer des directives.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@834 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-22 16:21:53 +00:00
Daniel de Rauglaudre ee1c2361f0 Ajout hooks pour customiser le parsing toplevel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-22 12:43:11 +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 cf57f103b6 Simplification.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-16 15:58:57 +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
Xavier Leroy 6b09d9235c Detecter le cas ou l'on trace deux fois la meme fonction sous divers noms.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-29 13:24:01 +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 bf16f51e51 topdirs: indentation!
toploop: mettre dans load_path les repertoires donnes par -I sur la
ligne de commande avant de lancer la boucle d'interaction.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-18 16:35:43 +00:00
Xavier Leroy 618a69cee8 Pour les programmes faits avec cslmktop, initialiser le load path
avant le code utilisateur, pas apres.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@711 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-03-20 10:52:15 +00:00
Xavier Leroy 3897acda2e #load marche pour les .cma aussi
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@644 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-02-18 14:46:22 +00:00
Xavier Leroy 567aebacc7 Ne pas faire initial_env avant d'avoir parse la ligne de commande
(pour les options -I).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-02-05 16:21:46 +00:00
Xavier Leroy 8e61e16546 Ajout de la passe de simplification des Llet.
Initialisations du toplevel effectuees plus tot.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-12-15 10:21:43 +00:00
Xavier Leroy dcfbdf602c Si une exception s'echappe pendant un #load, enlever le global des
tables du linker.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-27 14:51:11 +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 59b4e67cad Dans les fichiers de #use, les ;; sont optionnels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-01 18:12:24 +00:00
Xavier Leroy 32a5d63dee Ajout de Sys.interactive.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-26 16:25:03 +00:00
Xavier Leroy 2efe34a4a1 Erreur si une fonction est tracee plusieurs fois.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-17 10:02:02 +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 98ea86f309 Reecriture de la trace pour s'adapter aux fermetures de taille variable.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-14 11:53:55 +00:00
Xavier Leroy 9329823498 Utilisation de input_scan_line pour l'entree ligne a ligne.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-08 08:56:21 +00:00
Xavier Leroy 4832a208b5 Introduction de Arg.Set et Arg.Clear.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-05 12:30:26 +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 8d4f26747a MAJ apres ajout des foncteurs applicatifs.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-24 13:24:43 +00:00
Xavier Leroy 937fece4e3 Introduction de Lcondbranch3.
coloring: plus de variete dans le choix d'un registre.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-12 14:26:23 +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 bd39426c54 Suppression de output_compact_value.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@192 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09 13:17:15 +00:00
Xavier Leroy b2f94ecc58 MAJ des tags des chaines et des flottants.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-28 12:23:54 +00:00
Xavier Leroy aca0ecc99b Utilisation du module primitive.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-27 17:45:45 +00:00
Xavier Leroy 384c0ddfa7 Changement representation des primitives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@145 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:39:21 +00:00
Xavier Leroy b0987beb54 MAJ imprimeur de valeurs pour la nouvelle repr des listes.
Renommage codegen -> bytegen, linker -> bytelink.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@58 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-02 16:48:53 +00:00
Xavier Leroy 41bd2b6153 Fermetures representees en un seul bloc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@49 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-06-22 10:11:18 +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 623e2fbc00 Ajout de Sys.file_exists
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04 12:48:07 +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