summaryrefslogtreecommitdiffstats
path: root/utils
AgeCommit message (Collapse)Author
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-28Forget warning 33 in -warn-help.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11970 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-28More clever algorithm to detect unused (recursive) type declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11969 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22Detected unused type declarations. A type declaration can be used (1) ↵Alain Frisch
through an explicit reference, (2) during signature comparison, or (3) because one of the labels or fields it defines are referenced. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11940 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22Detect unused open (#5357, #5438).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11937 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21New warning 31 to detect a lot more unused value declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16Merged proc_nt.ml into proc.ml in directories asmcomp/i386 and asmcomp/amd64.Xavier Leroy
This avoids much code duplication and is a baby step towards Mingw-64 bits support (PR#5179). (There will be no need to create a third proc_xxx.ml file for this configuration.) Also, in amd64/emit_nt.mlp, the ml64 assembler didn't like my label subtractions, so I put the jumptable in code area instead of in data area. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-20Shorter error messages for modulesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11225 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-07-20uniform .ignore systemDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11133 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-20Details.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17Ignoring compiled files.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17add option -runtime-variantDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-06warning 28 activated by defaultDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-13updated VERSION and config filesJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10799 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-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-09-19switched to abstract types, still needs work on exhaustion type. the code ↵Jacques Le Normand
needs to be cleaned up. printfs need to be removed git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21PR#4975: spelling mistakes "overriden" and "informations"Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19PR#5033: tools/objinfo made more general.Xavier Leroy
tools/dumpapprox removed, now subsumed by tools/objinfo. Introduced asmcomp/cmx_format.mli and used consistently in asmcomp, tools/objinfo, and otherlibs/dynlink Note: ocamlbuild -based build procedure not updated yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-05cut long linesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10376 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-05-04Update comment.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-04Allow range of warnings and synchronize default for warnings given in usage ↵Alain Frisch
info with the real code. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-04Fix bug #5043.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-30make command-line parsing forward-compatibleDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-30make duplicate definitions a warning rather than an errorJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-28PR#4741: put -L options before file names, which can be -lxxxXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10326 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-20PR#4996: Subst.compose revised; Tbl.fold added.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-08merge branches/overrideJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-29numbering problem in commentsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9606 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
2010-01-20merge changes from release/3.11.1 to release/3.11.2Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-07PR#4940: get rid of naked end-of-lines in string constants + add warning 29Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-12-22PR#4947 bug in parsing of warning optionsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-12-09Using -strict-sequence to compile the compiler.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9467 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-11-19added warning 28: wildcard arg to constant constructorDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-11-02fine-grained control of warningsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9407 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-10-22New warning `not all labels are mentioned in this record pattern'Xavier Leroy
moved to letter 'R' (instead of 'E' previously). Explicitly turned off in myocamlbuild configuration. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-12As discussed at the latest consortium meeting:Xavier Leroy
Syntactic sugar {x} for {x=x} in record expressions and patterns. Syntax { lbl=pat; _ } to mark record patterns where the user explicitly wants not to list all labels. Warning (activated by E, the fragile match warning) to signal record patterns without '; _' that fail to list all labels. To be done: adjust Camlp4 parser accordingly. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9331 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-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 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
2008-10-06"invalid module name" becomes a warningDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-15Enable to (old) -dlcode option by default. -nodynlink disables it.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-04-16Cleanup + pass -Wl,-E to linker when linking dynlink.cma in custom mode.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8868 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 18:34:18 +0000