summaryrefslogtreecommitdiffstats
path: root/toplevel/toploop.ml
AgeCommit message (Expand)Author
2012-05-08Catch Not_found when calling Env.find_type + call Includemod.signatures in To...Jacques Garrigue
2012-04-25disable unused warnings for identifiers defined in the toplevelJacques Garrigue
2012-03-21#5551: avoid repeated lookups for missing cmi files.Alain Frisch
2012-01-27PR#1898: add -nopromptcont option to suppress secondary promptsDamien Doligez
2012-01-18Synchronize with trunk.Alain Frisch
2011-12-30PR#352: new option to make ocaml read stdin as a scriptDamien Doligez
2011-12-29Replace existing warnings 26, 27, trying to preserve their semantics.Alain Frisch
2011-08-04PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2011-04-26renaming "Objective Caml" to "OCaml" (first pass)Damien Doligez
2009-01-25Understanding the notion of standard channel for Format and Scanf.Pierre Weis
2007-12-04PR#3114 make all error messages start with a location and "Error: "Damien Doligez
2007-05-16ajout des annotations pour variables et appels terminauxDamien Doligez
2006-01-04fusion 3.09.0 -> 3.09.1Damien Doligez
2005-08-08Retour en arriere sur la simplification des signatures inferees (fix du PR#35...Xavier Leroy
2005-08-02Systematiser la simplification des signatures inferees (PR#3545)Xavier Leroy
2005-03-23merge fixedtypes branchJacques Garrigue
2005-01-28PR#3328 option ocaml -init <fichier>Damien Doligez
2004-11-02ajout option -noprompt (toplevel)Damien Doligez
2004-06-12Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)Xavier Leroy
2004-05-15Introduction d'un hook pour la lecture des entrees interactivesXavier Leroy
2004-04-16using Meta.static_release_bytecodeBasile Starynkevitch
2004-02-15Probleme avec #install_printer Mod.funct (PR#1891)Xavier Leroy
2003-08-21Chercher le .ocamlinit dans $HOME egalement (extension demandee par les porte...Xavier Leroy
2003-08-13PR#1782Damien Doligez
2003-06-30Ajout de toplevel_startup_hook (pour Cash)Xavier Leroy
2003-05-26Verifier que les modules globaux references par la phrase ont bien ete initia...Xavier Leroy
2003-05-23meilleur parsing de la ligne de commande pour les scriptsDamien Doligez
2002-12-12locationsDamien Doligez
2002-11-21desunifie en cas d'erreurJacques Garrigue
2002-11-17- Revu en profondeur la verification des CRC d'interfaces.Xavier Leroy
2002-11-01changement des locations, premiere trancheDamien Doligez
2002-07-25Exporter initialize_toplevel_env (reclame par Maxence pour son toplevel graph...Xavier Leroy
2002-05-16delay some checks for warningsJacques Garrigue
2002-03-18Retour en arriere sur le renommage Lexing.lex_buffer_len -> Lexing.lex_buffer...Xavier Leroy
2002-03-15Retour de empty_lexbuf car sinon l'affichage des erreurs sous toplevel ne mar...Xavier Leroy
2002-03-12Simplifier lors de l'affichage les declarations val et exception redondantes ...Xavier Leroy
2002-03-11Suppression de empty_lexbuf, comportement trop peu naturelXavier Leroy
2002-02-13Regroupement des impressions "outcometree" dans un seul module oprint.ml.Daniel de Rauglaudre
2002-02-08add object loading from command-lineJacques Garrigue
2001-12-07Revu gestion de toplevel_env pour que si on evalue un appel a Topdirs.dir_use...Xavier Leroy
2001-12-04L'execution d'un script n'est pas interactive (PR#630)Xavier Leroy
2001-12-03Dans message, Uncaught exception -> exception (plus PC)Xavier Leroy
2001-10-09Mieux sauter #! au debut des scriptsXavier Leroy
2001-09-19Ajoute repertoire camlp4 dans le load_path du niveau du hautDaniel de Rauglaudre
2001-08-28Chargement dynamique de primitives CXavier Leroy
2001-08-07Un peu de nettoyage de code + ajout personnalisation des "phrases" toplevelDaniel de Rauglaudre
2001-08-06Ajouté personalisation de l'affichage des items de signature dans le toplevelDaniel de Rauglaudre
2001-08-04Personalisation de l'affichage des valeurs et des types dans le toplevel.Daniel de Rauglaudre
2001-08-02-Daniel de Rauglaudre
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-12-01 19:46:58 +0000