delta/ocaml.git, branch safe-string

merge trunk up to commit 14699

2014-04-28T11:49:52+00:00

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

cleanup and bootstrap

2014-04-28T11:09:25+00:00

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

Document that the new alternative syntax for string literals can break comments.

2014-04-28T08:08:08+00:00

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

Revert 14616, 14617. Go back to the original syntax for toplevel directives, only allowing capitalized identifiers in addition to lowercase ones. Split #show into variants #show_val, #show_type, etc, and implement a generic #show which combines all the results.

2014-04-28T08:04:43+00:00

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

fix bug in commit 14694

2014-04-27T16:36:41+00:00

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

add CSE.ml to ignore files

2014-04-27T09:31:59+00:00

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

add missing rules for CSE.ml

2014-04-27T09:31:22+00:00

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

PR#6361: Hashtbl.hash not terminating on some lazy values w/ recursive types

2014-04-26T17:11:36+00:00

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

New back-end optimization pass: common subexpression elimination (CSE).

2014-04-26T10:40:22+00:00

(Reuses results of previous computations instead of recomputing them.)
(Cherry-picked from branch backend-optim.)
Tested on amd64/linux and i386/linux.
Other back-ends compile (after assorted updates) but are untested.


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

ID comments are so passé.

2014-04-26T09:38:29+00:00

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