summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-05-05#6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, ↵Alain Frisch
backend part by A. Frisch). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-05#6387: also allow attributes on methods in object types (< m [@foo] : int; ..>).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-05Whitespace.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14740 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-05change -trans-mod to -no-alias-deps, and update messageJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04Add support for floating attributes in class structures and class ↵Alain Frisch
signatures. (Patch by Leo White.) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04Fix win32unix (introduction of bytes + immutable strings).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04Add FIRST_UNIMPLEMENTED_OP instructioon to simplify bootstrapping after ↵Fabrice Le Fessant
adding new bytecode instructions at the end git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-04PR#6385: wrong allocation of large closures by the bytecode interpreterXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14733 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-03ocamlbuild: only show backtrace in verbose modeGabriel Scherer
Building foo.cmo in an empty directory (so with in particular no foo.ml) currently returns the following output: > Solver failed: > Ocamlbuild cannot find or build foo.ml. A file with such a name > would usually be a source file. I suspect you have given a wrong > target name to Ocamlbuild. > Backtrace: > - Failed to build the target foo.cmo > - Building foo.cmo: > - Failed to build all of these: > - Building foo.ml: > - Failed to build all of these: > - Building foo.mly > - Building foo.mll > - Building foo.mli: > - Building foo.mly > - Building foo.mlpack > - Building foo.mli: > - Building foo.mly > Compilation unsuccessful after building 0 targets (0 cached) in 00:00:00. While the "Solver failed" part is nice and reasonably easy to understand, users report that the "Backtrace" part is confusing (it talks about files they don't know about) -- and it can be so large that the explanation above is completely hidden. This patch disables backtrace-printing by default; it is now only shown when some "-verbose N" (N starting at 1) argument is passed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-03Some updates for SPARCXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-03stdlib/map: Add some usage exemple in the documentation.Gabriel Scherer
(Patch by Nicolas Braud-Santoni) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-03revert commit 14728Jérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14729 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02-o sets the module nameJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02configure: fix as/aspp for FreeBSD (works for both gcc and clang)Gabriel Scherer
(Patch by Andrew Ray) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14727 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02add the %int_as_pointer primitiveJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14726 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02fix bug in previous Val_unit initialization patchMark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14725 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02* Do not require cmi file to be present if module alias is not accessedJacques Garrigue
(using -trans-mod) * Add warning 49 for that case; use same warning in place of deprecated for Env.scrape_alias git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02revert commit 14719Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01safe-string: documentation fixes and add a couple of functions in Pervasives ↵Damien Doligez
and Digest git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01initialize blocks with Val_unit, not zeroMark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01weak dependencies with -trans-mod (github/ocamllabs/weak-depends ↵Mark Shinwell
45e980a,21856a7,merge) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01add travis CI files (github.com/avsm/ocaml 22e0620)Mark Shinwell
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14718 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01[minor] auto-generate a .gitignore using `git svn show-ignore`Gabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14717 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-01Ocamlbuild: make log printing code tail-recursiveGabriel Scherer
Patch by Frédéric Bour git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14716 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-30document __LOC__ in pervasives.mliFabrice Le Fessant
Also removes __FILE_OF__ and __MODULE_OF__, since they are not more precise than __FILE__ and __MODULE__ git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-30#6387: allow attributes on variants in polymorphic variant types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-30Fix precedence of extension nodes (#6386).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14711 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-30Fix precedence of extension nodes (#6386).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14710 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-30Fix precedence of extension nodes (#6386).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-29merge branch "safe-string"Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-29Wrong MASM syntax, try again.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14704 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-29update Makefile.nt for new asmcomp modulesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14703 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-29merge Leo's patch for PR#6384Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-28Fix PR#6383: Exception Not_found when using object type in absent moduleJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-28Document that the new alternative syntax for string literals can break comments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14698 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-28Revert 14616, 14617. Go back to the original syntax for toplevel ↵Alain Frisch
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
2014-04-27fix bug in commit 14694Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-27add CSE.ml to ignore filesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-27add missing rules for CSE.mlDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-26PR#6361: Hashtbl.hash not terminating on some lazy values w/ recursive typesXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14693 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-26New back-end optimization pass: common subexpression elimination (CSE).Xavier Leroy
(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
2014-04-26ID comments are so passé.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-26New back-end optimization pass: dead code elimination.Xavier Leroy
(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
2014-04-26Follow-up to commit 14673: MASM has its own syntax for hex constantsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-25fix some whitespaceDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-25update to use the git version of camlp5Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-25Follow-up to commit 14673: Iconst_float now takes a float, no longer a string.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-25Do not add absolute paths for information added toJacques Garrigue
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
2014-04-25- Constant ropagation for float and int32/int64/nativeint arithmetic.Xavier Leroy
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