Permalink
Switch branches/tags
Commits on Jun 5, 2012
  1. A first example of an AST rewriter.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ast_rewriter@12569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 5, 2012
Commits on Jun 4, 2012
  1. #5632: with-constraints count as references.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 4, 2012
Commits on Jun 2, 2012
  1. [arm] Handle backward jumps properly with TBH (PR#5623).

        
    The Thumb-2 TBH instruction supports only forward jumps, which is what is
    usually generated for Lswitch. But in some rare cases, the compiler can
    generate backward jumps for Lswitch. To properly support these cases, we
    emit appropriate trampolines (following the TBH) for these backward jumps
    as necessary.
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    committed Jun 2, 2012
Commits on Jun 1, 2012
  1. Unused opens.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 1, 2012
  2. Remove useless opens.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 1, 2012
  3. Remove useless open.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 1, 2012
  4. Remove useless open.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 1, 2012
  5. #5629: A toplevel 'open' in the REPL does not trigger an unused open …

    …warning.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 1, 2012
  6. Fix #5631: Missed unused open.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jun 1, 2012
  7. Fix PR#4838, PR#4511

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12535 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jun 1, 2012
  8. Fix PR#5224

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jun 1, 2012
  9. Fix PR#5291

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jun 1, 2012
Commits on May 31, 2012
  1. whitespace + fix doc of warning 7

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed May 31, 2012
  2. PR#5389 (followup): update caml_stat_heap_chunks

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed May 31, 2012
  3. keep the text width to 80 columns

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed May 31, 2012
Commits on May 30, 2012
  1. merge with bin-annot: add missing files

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    lefessan committed May 30, 2012
  2. merge with branch bin-annot

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    lefessan committed May 30, 2012
  3. Ensure that {Set,Map}.{filter,partition} call their functional argument

    in the user-expected left-to-right evaluation order.
    
    This is a cosmetics change but users usually expect the
    mapping/filtering functions to be called in increasing key order. As
    the order for filter and partition changed recently anyway (commit
    r12026), it makes sense to "fix" it now.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    gasche committed May 30, 2012
Commits on May 29, 2012
  1. Removal of unnecessary "rec" clauses (to please warning #39).

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed May 29, 2012
  2. Eliminate useless rec.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  3. Document that a dummy declaration is here to avoid a warning.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  4. Enabled 'unused rec flag' warning.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  5. Fix unused open warning.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  6. Detect (and fix some) useless recursive flags.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  7. Detect (and fix some) useless recursive flags.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  8. Typo.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  9. Enable and fix more warnings.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  10. Compile with warning 33, and remove unused opens.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed May 29, 2012
  11. modified Windows Makefiles to install compiler internals

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    lefessan committed May 29, 2012
  12. Move of the message related to PR#5620, due to backport to 4.00.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed May 29, 2012
Commits on May 28, 2012
  1. typo

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed May 28, 2012
  2. Improve error message (and indentation)

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed May 28, 2012