Permalink
Switch branches/tags
Commits on Mar 31, 2014
  1. merge with trunk at rev 14512

    Damien Doligez
    Damien Doligez committed Mar 31, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ephemeron@14514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. stop ignoring ocamlmklib.ml, it is not a generated file any more

    Damien Doligez
    Damien Doligez committed Mar 31, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Revert "PR#6270: remove need for -I directives to ocamldebug in commo…

    gasche committed Mar 31, 2014
    …n case (patch by Josh Watzman)"
    
    There seems to be a problematic interaction with backtrace collection. To test this,
      make world.opt
      cd testsuite
      make one DIR=tests/backtrace/
    
    This needs to be sorted out before the patch can go in again.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. PR#6270: remove need for -I directives to ocamldebug in common case (…

    xclerc committed Mar 31, 2014
    …patch by Josh Watzman)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 28, 2014
  1. Pprintast: factorize handling of infix/prefix binders

    gasche committed Mar 28, 2014
    There was a bug with "external _pipe = ..." in
    otherlibs/threads/unix.ml where the identifier _pipe was wrongly
    detected as infix and reprinted as "external ( _pipe ) = ...", causing
    a syntax error.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 27, 2014
  1. ignore .cmt and .cmti files

    Damien Doligez
    Damien Doligez committed Mar 27, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. fix msvc64 port by removing unused open Misc (untested, esp. on other…

    Damien Doligez
    Damien Doligez committed Mar 27, 2014
    … Windows ports)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. In cmmgen, use previously defined 'get_size' function to emit

    maranget committed Mar 27, 2014
    the code that extract size of blocks.
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 26, 2014
  1. Compile with the same warning configuration under Windows.

    alainfrisch committed Mar 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. #6352: add a warning on implicit removal of optional arguments.

    alainfrisch committed Mar 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Get rid of some uses of implicit removal of optional arguments.

    alainfrisch committed Mar 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Get rid of some uses of implicit removal of optional arguments.

    alainfrisch committed Mar 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. Get rid of some uses of implicit removal of optional arguments.

    alainfrisch committed Mar 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. Also compile with -bin-annot under Windows.

    alainfrisch committed Mar 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. Remove spurious character from error message.

    alainfrisch committed Mar 26, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 25, 2014
  1. commit mergeinfo to keep svn happy

    Damien Doligez
    Damien Doligez committed Mar 25, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. skip debugger test when dynlink is not available

    Damien Doligez
    Damien Doligez committed Mar 25, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. PR#6351: minor arm64 fix (patch by Richard W.M. Jones)

    gasche committed Mar 25, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. #6260: fix unecessary boxing of let-bound floats/ints.

    alainfrisch committed Mar 25, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 24, 2014
  1. Ensure that record patterns don't miss any field in Ast_mapper (use o…

    alainfrisch committed Mar 24, 2014
    …f optional arguments in Ast_helper makes it too easy to forget some fields).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 23, 2014
  1. Optimize Env.find_module further for PR#6350

    Jacques Garrigue
    Jacques Garrigue committed Mar 23, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14483 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 22, 2014
  1. Fix PR#6350

    Jacques Garrigue
    Jacques Garrigue committed Mar 22, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 21, 2014
  1. [minor] add strmatch to Makefile.nt

    gasche committed Mar 21, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Oups

    maranget committed Mar 21, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. #PR6269 Optimized string matching

    maranget committed Mar 21, 2014
    Noticed that I had to bootstrap to test on ARM, so I commit  a new bootstrap
    compiler.
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Factor out the grammar productions for functor parameters

    gasche committed Mar 21, 2014
    (Patch by Jeremy Yallop)
    
    Functor parameters can occur in three contexts:
    
      (1) in functor bindings:
    
            module M (X : S) (Y : T) = ...
    
      (2) in anonymous functor expressionms:
    
            functor (X : S) (Y : T) -> ...
    
      (3) in signature expressions
    
            module type T = functor (X : S) (Y : T) -> ...
    
    This patch simplifies the grammar by using common productions
    (functor_arg, functor_args) to handle all three contexts, and by
    combining the productions for named and unnamed parameters.
    
    As a side effect, unnamed functor arguments are now available in
    functor bindings:
    
         module M (_ : S) (_ : T) = ...
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Mar 20, 2014
  1. Pervasives: define [min_int] and [max_int] without assuming that inte…

    gasche committed Mar 20, 2014
    …gers are either 31 or 63 bits.
    
    (Patch by Jérôme Vouillon)
    
    Js_of_ocaml has 32 bit integers. Currently, it patches the bytecode,
    just to get the correct values for [min_int] and [max_int]. It would be
    simpler if this was not necessary.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. PR#6184: ocamlbuild: `ocamlfind ocamldep` does not support -predicate

    gasche committed Mar 20, 2014
    (patch by Jacques-Pascal Deplaix)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. PR#6187: Add a warning when using -plugin-tag(s) without myocamlbuild.ml

    gasche committed Mar 20, 2014
    (Patch by Jacques-Pascal Deplaix)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Shorten syntax for functor signatures (patch by Thomas Gazagnaire)

    gasche committed Mar 20, 2014
    ```
    (* Optional naming of parameter implementation *)
    module type X = functor (X:S) -> ...
    module type X = functor (_:S) -> ...
    
    (* shortening of functor module signatures *)
    module type F = functor (X:S) -> functor (Y:S) -> ...
    module type F = functor (X:S) (Y:S) -> ...
    ```
    
    For consistency reasons, this commits also add shortening of functor implementations:
    
    ```
    (* shortening of functor implementations *)
    module F = functor (X:S) -> functor (Y:S) -> ...
    module F = functor (X:S) (Y:S) -> ...
    ```
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. Fix Makefile.

    alainfrisch committed Mar 20, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. fix error in previous register naming patch

    mshinwell committed Mar 20, 2014
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14472 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. PR#6349: ocamlbuild.cm{o,x} must not be included in ocamlbuild.cm{a,xa}

    gasche committed Mar 20, 2014
    The bug, reported by Jacques-Pascal Deplaix, was only in trunk -- it
    appeared in the bootstrap->Makefile transition.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  8. Also check sharing of immutable constants.

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