Commit Graph

181 Commits (c937cc454b1aaefaebee8b1b487fec102ed6acd4)

Author SHA1 Message Date
Damien Doligez 85cb1262d6 ajout option -noprompt (toplevel)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-02 10:42:58 +00:00
Xavier Leroy 63c1789b5e Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-13 12:25:21 +00:00
Xavier Leroy c3fff4348d Erreur dans tree_of_exception, cas untyped (PR#2652)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 16:23:35 +00:00
Xavier Leroy 762a006652 Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 08:55:49 +00:00
Xavier Leroy 759292a43c Introduction d'un hook pour la lecture des entrees interactives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-15 09:59:37 +00:00
Xavier Leroy a8d073e85a Probleme dans #untrace_all en cas de fonction redefinie (PR#1936)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-09 09:01:00 +00:00
Basile Starynkevitch 3ec6d09845 using Meta.static_release_bytecode
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-16 14:43:59 +00:00
Xavier Leroy b972b89ac9 Probleme avec #install_printer Mod.funct (PR#1891)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-15 11:08:06 +00:00
Damien Doligez 776a8d59b7 suppression support MacOS9
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-16 15:24:03 +00:00
Damien Doligez 331b2d89c3 depollution suite (PR#1914, PR#1956)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-31 14:20:40 +00:00
Xavier Leroy c757c93fa3 Chercher le .ocamlinit dans $HOME egalement (extension demandee par les porteurs Debian)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-21 13:55:30 +00:00
Damien Doligez 2aa11c7bf8 PR#1782
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5776 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-13 15:31:37 +00:00
Xavier Leroy 6778c107fa MAJ doc option -W (PR#1770)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-25 12:18:25 +00:00
Xavier Leroy 3e4bf9252b Revu representation des declarations de type private
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-02 09:14:35 +00:00
Xavier Leroy e8e8d33624 Ajout de toplevel_startup_hook (pour Cash)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-30 15:31:06 +00:00
Xavier Leroy 1fa763e0c5 Merge branch with recursive modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-19 15:53:53 +00:00
Xavier Leroy 7be202e2d5 Verifier que les modules globaux references par la phrase ont bien ete initialises (PR#1527)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-26 13:47:26 +00:00
Damien Doligez 96f5cf75a6 meilleur parsing de la ligne de commande pour les scripts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5579 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-23 14:44:08 +00:00
Pierre Weis f2709a7576 Better error message for fragile patterns.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 12:52:11 +00:00
Pierre Weis fcebde56f9 Addition of the new Fragile_pat warning.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 08:48:31 +00:00
Pierre Weis e77055aad9 Complete move from virtual to private for concrete types with private
constructors (or labels).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-01 22:22:37 +00:00
Xavier Leroy 7abcc8799e Ajout des litteraux de type int32, nativeint, int64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-25 12:27:31 +00:00
Pierre Weis b5d0102c05 Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dans Camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-28 06:59:19 +00:00
Damien Doligez d76fdd5038 locations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-12 10:49:19 +00:00
Jacques Garrigue dc4b8f041d desunifie en cas d'erreur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 06:00:57 +00:00
Xavier Leroy b183534841 Refait marcher #trace sur les fonctions mutuellement recursives (PR#1346)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 13:49:44 +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
Damien Doligez ed3123ee87 changement des locations, premiere tranche
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-01 17:06:47 +00:00
Xavier Leroy 8662b6797c Exporter initialize_toplevel_env (reclame par Maxence pour son toplevel graphique)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-25 15:45:14 +00:00
Xavier Leroy 63ed4f3f53 Afficher les int32, int64, nativeint avec Oval_stuff plutot que comme des strings (moins surprenant pour l'utilisateur?)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4953 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-26 14:52:17 +00:00
Jacques Garrigue b8118bdb7b add #principal directive
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4940 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-19 06:11:21 +00:00
Jacques Garrigue 707cb4c515 delay some checks for warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 10:18:51 +00:00
Xavier Leroy bb3cefcb70 Minimiser les dependances sur toplevellib.cma dans les toplevels crees par ocamlmktop (evite des conflits avec des modules de l'utilisateur qui ont le meme nom que des modules references par topstart)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-24 08:02:51 +00:00
Jacques Garrigue 0a8236066f vive les methodes polymorphes!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18 07:27:47 +00:00
Xavier Leroy bd8c3bbd18 Retour en arriere sur le renommage Lexing.lex_buffer_len -> Lexing.lex_buffer_end, car ca casse Hevea
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-18 16:16:31 +00:00
Xavier Leroy c6a0e95dc6 Retour de empty_lexbuf car sinon l'affichage des erreurs sous toplevel ne marche pas (PR#1008)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-15 15:34:32 +00:00
Xavier Leroy 73ce0ac808 Simplifier lors de l'affichage les declarations val et exception redondantes dans les signatures inferees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-12 12:35:10 +00:00
Xavier Leroy d0caf4d35a Suppression de Printexc.catch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-11 10:39:43 +00:00
Xavier Leroy c785f30b0d Suppression de empty_lexbuf, comportement trop peu naturel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-11 10:39:25 +00:00
Damien Doligez 130e3415fd ajout option -nostdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-14 15:17:11 +00:00
Daniel de Rauglaudre 50161b7513 Regroupement des impressions "outcometree" dans un seul module oprint.ml.
Ajout de hooks de print dans toploop.mli.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 11:09:19 +00:00
Daniel de Rauglaudre 75a9cfe35c La directive #trace ne marchait plus paskeu le test du tag closure était
obsolète.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-09 06:44:14 +00:00
Jacques Garrigue ef9cd6d7e6 document object file loading
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 10:16:10 +00:00
Jacques Garrigue 128824233b add object loading from command-line
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 02:56:04 +00:00
Damien Doligez 9f64519070 bug string_of_float
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-24 17:47:21 +00:00
Damien Doligez 0dbce74fc8 lazy a la Tolmach
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 17:39:10 +00:00
Xavier Leroy f5ac05c041 Revu gestion de toplevel_env pour que si on evalue un appel a Topdirs.dir_use, les definitions du fichier charge ne soient pas ignorees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-07 15:02:20 +00:00
Xavier Leroy 07ac45dafa L'execution d'un script n'est pas interactive (PR#630)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4088 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-04 08:56:54 +00:00
Xavier Leroy e79a1b8571 Dans message, Uncaught exception -> exception (plus PC)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-03 10:15:57 +00:00
Xavier Leroy 343d49401a Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 09:32:32 +00:00