Permalink
Switch branches/tags
Commits on Apr 26, 2014
  1. Updated dependencies.

    xavierleroy committed Apr 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/backend-optims@14685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Update to current trunk.

    xavierleroy committed Apr 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/backend-optims@14684 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Apr 25, 2014
  1. fix some whitespace

    Damien Doligez committed Apr 25, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. update to use the git version of camlp5

    Damien Doligez committed Apr 25, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Follow-up to commit 14673: Iconst_float now takes a float, no longer …

    xavierleroy committed Apr 25, 2014
    …a string.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14675 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Do not add absolute paths for information added to

    Jacques Garrigue committed Apr 25, 2014
    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
  5. - Constant ropagation for float and int32/int64/nativeint arithmetic.

    xavierleroy committed Apr 25, 2014
      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
Commits on Apr 23, 2014
  1. Avoid bad error report when a registered toplevel primitive raises No…

    alainfrisch committed Apr 23, 2014
    …t_found.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14671 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. #6119: document that the set of values contained in a closure is not …

    alainfrisch committed Apr 23, 2014
    …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
  3. Fix doc for unmarshaled exception values and structural comparison.

    alainfrisch committed Apr 23, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Add a .gitignore file for git users

    lefessan committed Apr 23, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14665 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. Remove Ast_helper.Convenience submodule. This is better located in th…

    alainfrisch committed Apr 23, 2014
    …e ppx_tools package.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14664 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. update expected test results following commit 14660

    Damien Doligez committed Apr 23, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Apr 22, 2014
  1. More precise location on 'name must be unique' error (report the iden…

    alainfrisch committed Apr 22, 2014
    …tifier name instead of the whole declaration).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Make Parsetree more uniform by keeping locations in all records which…

    alainfrisch committed Apr 22, 2014
    … have attributes.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14659 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Better locations.

    alainfrisch committed Apr 22, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. #6273: fix.

    alainfrisch committed Apr 22, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. Add OCAMLPARAM option 'can-discard' to remove warnings about unknown …

    lefessan committed Apr 22, 2014
    …version-specific arguments
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. PR#6075: fix build under Windows (there is no caml_strbuf_free).

    alainfrisch committed Apr 22, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Apr 21, 2014
  1. Fix PR#6376

    Jacques Garrigue committed Apr 21, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. part 2: fix regression (extraneous moves) caused by previous Cconst_b…

    mshinwell committed Apr 21, 2014
    …lockheader patch
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. fix regression (extraneous moves) caused by previous Cconst_blockhead…

    mshinwell committed Apr 21, 2014
    …er patch
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14648 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Apr 19, 2014
  1. [minor] documentation typo in Hashtbl

    gasche committed Apr 19, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. [minor] improvement over the Hashtbl doc

    gasche committed Apr 19, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. makefile target to build the stdlib documentation as html

    gasche committed Apr 19, 2014
    (Patch by Simon Cruanes)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. an example of functor application for Hashtbl

    gasche committed Apr 19, 2014
    (Patch by Simon Cruanes)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14644 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Apr 18, 2014
  1. PR#5941: add Printexc.set_uncaught_exception_handler

    diml committed Apr 18, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. minor clean-ups

    Damien Doligez committed Apr 18, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14642 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. As mentioned by gcc -Wall, the variable "frame_number" is useless. Re…

    xavierleroy committed Apr 18, 2014
    …moved it.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14637 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Simpler variant of commit r14635:

    xavierleroy committed Apr 18, 2014
    - 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
  5. configure: always define ARCH_INT64_TYPE in config/m.h because Coq

    xavierleroy committed Apr 18, 2014
      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
Commits on Apr 17, 2014
  1. Add a hook in the lexer for an internal preprocessor

    lefessan committed Apr 17, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14631 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Changelog.

    alainfrisch committed Apr 17, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02