delta/ocaml.git/driver/optcompile.ml, branch 4.00-with-binannot

bin-annot: improved 'read_cmt' tool. Abstract Env.t .

2012-05-21T12:22:23+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

bin-annot: follow Jacques Garrigue recommendations

2012-05-10T15:29:38+00:00

- rename pat_contraints to pat_extra, and exp_constraints to exp_extra
- move Texp_open node to exp_extra
- move fst?/snd?/thd? to misc.ml

also, and str_final_env and sig_final_env to get the final environment
of a structure/signature, and put the final env in Texp_open



git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Improved version of bin-annot

2012-05-02T14:36:55+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Reverting bad commit.

2012-01-20T14:23:34+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Fix #5490.

2012-01-20T14:21:03+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Replace existing warnings 26, 27, trying to preserve their semantics.

2011-12-29T17:49:58+00:00

- 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

Undoing previous commit.

2011-12-21T16:52:10+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11929 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Check for unused value declaration in interface files.

2011-12-21T16:35:36+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11928 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

renaming of Objective Caml to OCaml and cleanup of copyright headers

2011-07-27T14:17:02+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

merge changes from 3.10.2merged to 3.11.0

2008-12-03T18:09:09+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02