delta/ocaml.git/bytecomp, branch 4.00-with-binannot

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

bin-annot: removed Obj.magic from Env, safer constraints in Typedtree

2012-05-09T13:57:25+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/4.00-with-binannot@12443 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

#5593: Remove C file when -output-obj fails. (Cherry-picked from trunk, commit 12356.)

2012-04-16T15:27:42+00:00

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

#5527: absolute filenames for more error messages.

2012-03-07T17:50:17+00:00

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

#5527: absolute filenames for more error messages.

2012-03-07T17:32:37+00:00

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

#5527: use absolute filenames in the message for Warning 31, when requested (-absname).

2012-03-07T17:27:59+00:00

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

Detect unused exception declarations (#5524).

2012-03-06T19:47:07+00:00

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

refactoring the "read n bytes from a channel into a new string" idiom

2012-02-23T19:54:44+00:00

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

PR#5487: addition of CFI directives and a few filename/linenumber info to generated amd64 and i386 assembly files.

2012-02-21T17:41:02+00:00

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