summaryrefslogtreecommitdiff
path: root/driver/compile.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-4/+6
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-9/+17
| * propagate path-expansion environment everywhereJacques Garrigue2012-01-231-2/+3
| * shorten paths in signatures and toplevel outputJacques Garrigue2012-01-221-2/+3
* | Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch2012-12-181-1/+4
* | #5741: make Pprintast available from the command-line (-dsource).Alain Frisch2012-10-171-0/+3
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-8/+14
* | Compile with warning 33, and remove unused opens.Alain Frisch2012-05-291-1/+0
* | #5589: 'unused' warnings for .mli files as well (detect unused open and shado...Alain Frisch2012-04-181-0/+2
* | PR#5538: combining -i and -annot in ocamlcDamien Doligez2012-03-271-1/+5
|/
* Reverting bad commit.Alain Frisch2012-01-201-18/+18
* Fix #5490.Alain Frisch2012-01-201-18/+18
* Replace existing warnings 26, 27, trying to preserve their semantics.Alain Frisch2011-12-291-1/+0
* Undoing previous commit.Alain Frisch2011-12-211-6/+1
* Check for unused value declaration in interface files.Alain Frisch2011-12-211-1/+6
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* "invalid module name" becomes a warningDamien Doligez2008-10-061-0/+23
* PR#3114 make all error messages start with a location and "Error: "Damien Doligez2007-12-041-1/+4
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-1/+3
* Retour en arriere sur la simplification des signatures inferees (fix du PR#35...Xavier Leroy2005-08-081-1/+2
* Systematiser la simplification des signatures inferees (PR#3545)Xavier Leroy2005-08-021-2/+1
* Interdire les references Foo.x lorsqu'on compile foo.ml ou foo.mli (PR#3100, ...Xavier Leroy2005-07-311-3/+5
* ajout warning unused variableDamien Doligez2004-11-061-0/+1
* Generalisation de l'option -oXavier Leroy2004-06-131-10/+10
* Bug dans l'initialisation de load_path au toplevel (PR#1770,1775)Xavier Leroy2003-07-251-1/+4
* Faire cohabiter les threads bytecode et les threads systeme. Ajout option oc...Xavier Leroy2003-07-171-2/+2
* L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, ....Xavier Leroy2003-06-231-22/+33
* Reinitialiser le gensym de Ident entre 2 compilations (PR#1618)Xavier Leroy2003-05-121-2/+2
* Simplifier lors de l'affichage les declarations val et exception redondantes ...Xavier Leroy2002-03-121-2/+3
* ajout option -nostdlibDamien Doligez2002-02-141-2/+3
* Regroupement du preprocessage et de la lecture directe des fichiers sourceDaniel de Rauglaudre2002-02-081-70/+9
* Ajouté un warning si l'option -unsafe est utilisée alors que le sourceDaniel de Rauglaudre2002-02-081-4/+7
* Added Misc.chop_extension_if_any for the case when the input filename doesDaniel de Rauglaudre2002-01-281-2/+2
* Correction: la suppression du fichier préprocessé en cas d'erreur ne peutDaniel de Rauglaudre2001-10-011-2/+7
* -Daniel de Rauglaudre2001-09-221-1/+1
* Ajout suppression des fichiers temporaires résultats de preprocess enDaniel de Rauglaudre2001-09-221-8/+13
* Pour le preprocessing, utiliser des fichiers temporaires uniques dans /tmp (P...Xavier Leroy2001-07-021-5/+6
* deplace expand_directory dans Misc, pour generaliser -I +packageJacques Garrigue2000-12-281-10/+1
* Ajout options -where et -I +<directory relative to stdlib>Xavier Leroy2000-11-071-5/+15
* option -warn-errorDamien Doligez2000-08-231-1/+3
* L'option -i doit envoyer sa production sur stdout (donc std_formatter).Pierre Weis2000-04-251-1/+2
* Revu les impressions du compilateurPierre Weis2000-03-061-11/+11
* implementation de -dparsetreeDamien Doligez1999-11-291-0/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy1999-11-081-1/+1
* Ajout de l'option -ccXavier Leroy1998-11-061-1/+1
* Typo dans message d'erreurXavier Leroy1998-10-011-1/+1
* Composer les passes du compilateur avec ++ pour eviter de garder des pointeur...Xavier Leroy1998-04-271-23/+12
* Meilleures erreurs de syntaxe pour les parentheses mal fermees, etcXavier Leroy1997-08-221-1/+1