summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* merge trunk up to commit 14699safe-stringDamien Doligez2014-04-2883-527/+1679
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14700 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Document that the new alternative syntax for string literals can break comments.Alain Frisch2014-04-281-0/+1
| | | | | | | | 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 ↵Alain Frisch2014-04-288-104/+115
| | | | | | | | | | | | 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. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix bug in commit 14694Damien Doligez2014-04-271-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add CSE.ml to ignore filesDamien Doligez2014-04-271-0/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add missing rules for CSE.mlDamien Doligez2014-04-271-0/+8
| | | | | | | | 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 typesXavier Leroy2014-04-262-1/+5
| | | | | | | | 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).Xavier Leroy2014-04-2640-82/+660
| | | | | | | | | | | | | | | | | | | | (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é.Xavier Leroy2014-04-262-6/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * New back-end optimization pass: dead code elimination.Xavier Leroy2014-04-2616-55/+232
| | | | | | | | | | | | | | | | (Removes arithmetic and load instructions whose results are unused.) (Cherry-picked from branch backend-optim.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Follow-up to commit 14673: MASM has its own syntax for hex constantsXavier Leroy2014-04-262-9/+11
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix some whitespaceDamien Doligez2014-04-252-3/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * update to use the git version of camlp5Damien Doligez2014-04-253-48/+57
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Follow-up to commit 14673: Iconst_float now takes a float, no longer a string.Xavier Leroy2014-04-253-9/+9
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Do not add absolute paths for information added toJacques Garrigue2014-04-253-3/+22
| | | | | | | | | | | | | | | | | | the local environment in Env.components_of_module_make. Fixes the bug reported by Mark Shinwell on caml-devel, on 2014-04-23. This bug was related to module aliases. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14674 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * - Constant ropagation for float and int32/int64/nativeint arithmetic.Xavier Leroy2014-04-2532-233/+582
| | | | | | | | | | | | | | | | | | | | | | | | Constant propagation for floats can be turned off with option -no-float-const-prop, for codes that change FP rounding modes at run-time. - Clambda / C-- / Mach: represent float constants as FP numbers of type float rather than literals of type string. - Tested for AMD64; other archs need testing. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | cleanup and bootstrapDamien Doligez2014-04-284-21/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | split Env.initial, and propagate real initial_envJacques Garrigue2014-04-2618-38/+49
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | add code for switching unsafe_string in Compmisc.initial_envJacques Garrigue2014-04-251-4/+5
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | (does not work) set up bytes=string in the initial environment instead of ↵Damien Doligez2014-04-259-7/+19
| | | | | | | | | | | | changing the type comparison functions git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14678 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | cleanup and formattingDamien Doligez2014-04-2526-159/+130
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | add documentationDamien Doligez2014-04-254-0/+45
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14676 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge trunk up to rev 14671Damien Doligez2014-04-245-166/+163
|\ \ | |/ | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14672 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Avoid bad error report when a registered toplevel primitive raises Not_found.Alain Frisch2014-04-231-14/+22
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14671 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #6119: document that the set of values contained in a closure is not ↵Alain Frisch2014-04-231-11/+20
| | | | | | | | | | | | specified and how this impacts marshaling references captured in closures, for instance. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14670 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix doc for unmarshaled exception values and structural comparison.Alain Frisch2014-04-231-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Add a .gitignore file for git usersFabrice Le Fessant2014-04-231-0/+119
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14665 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Remove Ast_helper.Convenience submodule. This is better located in the ↵Alain Frisch2014-04-232-139/+0
| | | | | | | | | | | | ppx_tools package. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14664 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Patch another place where types are compared. Needed to compile batteries ↵Damien Doligez2014-04-232-1/+6
| | | | | | | | | | | | and cryptokit git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge trunk up to rev 14663Damien Doligez2014-04-2345-134/+413
|\ \ | |/ | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/safe-string@14666 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * update expected test results following commit 14660Damien Doligez2014-04-232-4/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * More precise location on 'name must be unique' error (report the identifier ↵Alain Frisch2014-04-221-14/+14
| | | | | | | | | | | | name instead of the whole declaration). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Make Parsetree more uniform by keeping locations in all records which have ↵Alain Frisch2014-04-2215-68/+115
| | | | | | | | | | | | attributes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14659 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Better locations.Alain Frisch2014-04-221-4/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #6273: fix.Alain Frisch2014-04-221-4/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Add OCAMLPARAM option 'can-discard' to remove warnings about unknown ↵Fabrice Le Fessant2014-04-221-2/+11
| | | | | | | | | | | | version-specific arguments git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * #6273: fix Sys.file_exists on large files for Win32 (patch by C. Bauer).Alain Frisch2014-04-222-0/+18
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#6075: fix build under Windows (there is no caml_strbuf_free).Alain Frisch2014-04-221-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6376Jacques Garrigue2014-04-214-0/+32
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * part 2: fix regression (extraneous moves) caused by previous ↵Mark Shinwell2014-04-211-1/+3
| | | | | | | | | | | | Cconst_blockheader patch git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * fix regression (extraneous moves) caused by previous Cconst_blockheader patchMark Shinwell2014-04-212-2/+2
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * [minor] documentation typo in HashtblGabriel Scherer2014-04-191-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * [minor] improvement over the Hashtbl docGabriel Scherer2014-04-191-5/+12
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * makefile target to build the stdlib documentation as htmlGabriel Scherer2014-04-192-0/+14
| | | | | | | | | | | | (Patch by Simon Cruanes) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * an example of functor application for HashtblGabriel Scherer2014-04-191-0/+21
| | | | | | | | | | | | (Patch by Simon Cruanes) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14644 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * PR#5941: add Printexc.set_uncaught_exception_handlerJérémie Dimino2014-04-183-7/+97
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * minor clean-upsDamien Doligez2014-04-181-4/+4
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14642 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * As mentioned by gcc -Wall, the variable "frame_number" is useless. Removed it.Xavier Leroy2014-04-181-2/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14637 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Simpler variant of commit r14635:Xavier Leroy2014-04-182-21/+10
| | | | | | | | | | | | | | | | | | - configure: no change necessary - byterun/config.h: make sure ARCH_INT64_TYPE and related macros are always defined, for Coq and others to use. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * configure: always define ARCH_INT64_TYPE in config/m.h because CoqXavier Leroy2014-04-182-4/+17
| | | | | | | | | | | | | | | | | | | | and maybe others rely on it byterun/config.h: select "long long" in preference to "long" for "int64", just because this is how it was done in earlier versions. (Minimizing suprises.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status