summaryrefslogtreecommitdiffstats
path: root/toplevel
AgeCommit message (Collapse)Author
2012-01-20Fix #5490.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-30PR#352: new option to make ocaml read stdin as a scriptDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-29Replace existing warnings 26, 27, trying to preserve their semantics.Alain Frisch
- Warning 26 detects unused variables bound by 'let' or 'as'. In case of a or-pattern, a variable is considered to be an "as" variable or not according to the lhs pattern only. - Warning 27 detects unused variables bound by 'match', 'fun', 'function', and self-variable in objects. - When several values are bound by a given let pattern: if all of them are unused, warning 26 is trigerred; if at least one of them is used, the other unused ones are reported with warning 27. This commit also introduces dedicated warnings for unused ancestor variables (objects) and for-loop indices. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20New option to force the compilers to show absolute paths in error messages.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20Fix ocamlnet.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14#5411: close input channel when loading a .cmo file fails in the toplevel.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13#5411: New #load_rec primitive for the toplevel (finds and loads .cmo files ↵Alain Frisch
recursively). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-24merge branches/gadts-develJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28Module Lnenum has vanished!Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22Keep type variable namesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-04PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29merge branches/gadtsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-04-26renaming "Objective Caml" to "OCaml" (first pass)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-10clean upJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08allow variance in GADTsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-01fixed bug in genprintvalJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10759 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-19fixed bug in syntax extension. Made unification of variants and objects ↵Jacques Le Normand
local. Removed personal comments git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-13first commitJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20PR#4857: add -vnum option to all executablesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-08rename -help-warnings to -warn-helpDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-04New -help-warnings command-line option.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-22fixed several build problemsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-13unified command-line argumentsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-22clean up spaces and tabsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-12-09Typo.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-12-09Adding the -strict-sequence option.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-26Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch
Adapt the Changes file. Bump magic numbers. Bootstrap. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-15Added option -no-app-funct to turn off applicative functorsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-01-25Understanding the notion of standard channel for Format and Scanf.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-12-03merge changes from 3.10.2merged to 3.11.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-12-04PR#3114 make all error messages start with a location and "Error: "Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-06Merge the natdynlink branch into HEAD.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-09It works: compilers and camlp4 are fully bootstrapped. The ast magic number ↵Pierre Weis
is not yet changed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-05-16ajout des annotations pour variables et appels terminauxDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-07Add many .mllib .mlpack .clib .dlib filesNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7825 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-09-28Revised DLL loading: distinguish between loading for executionXavier Leroy
(ocamlrun, dynlink, toplevel) and loading for checking the existence of symbols (ocamlc). This is needed for Windows with manifests and not a bad idea for other platforms. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-05-11Deplacement des infos de format des .cmo et .cma dans Cmo_formatXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-01-04fusion 3.09.0 -> 3.09.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-08Retour en arriere sur la simplification des signatures inferees (fix du ↵Xavier Leroy
PR#3545 du 2005-08-02), qui est completement bugge git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-02Systematiser la simplification des signatures inferees (PR#3545)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-13print private variantsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-23merge fixedtypes branchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-01-28PR#3328 option ocaml -init <fichier>Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-12-01changement doc -warn-errorDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6722 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-30changements sur les warningsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-29new warning for black holesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6703 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-27PR#3085 ajout option "-version"Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-15 00:40:24 +0000