Permalink
Commits on Nov 19, 2012
  1. PR#5825: Add Changes entry.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey committed Nov 19, 2012
Commits on Nov 18, 2012
  1. PR#5825: Add a primitive to use source file wrapped in the corespondi…

    …ng module.
    
    Patch by Grégoire Henry!
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    danmey committed Nov 18, 2012
Commits on Nov 17, 2012
  1. PR#5824: avoid tagging before right shifts

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13096 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Nov 17, 2012
Commits on Nov 15, 2012
  1. Typos.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13094 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 15, 2012
Commits on Nov 14, 2012
  1. Fix #5821: Wrong record field is reported as duplicate.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13093 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 14, 2012
Commits on Nov 12, 2012
  1. tune the indentation of [let rec ... and ...] and fix the bug of ~+

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13092 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Hongbo Zhang committed Nov 12, 2012
Commits on Nov 11, 2012
  1. fix two minor stale locations (Location.none) in typemod.ml

    The two bewildering "_none_" error messages fixed by this commit
    could be observed in the following way:
      echo "let f (x, y) = x + 1" > test.ml
      touch test.mli
      ocamlc -c -annot test.ml
        File "_none_", line 1:
        Error: Could not find the .cmi file for interface test.mli.
      grep "def f" test.annot
        def f "test.ml" 1 0 20 "_none_" 1 0 -1
    
    Behavior after the fixes:
      echo "let f (x, y) = x + 1" > test.ml
      touch test.mli
      ocamlc -c -annot test.ml
        File "test.ml", line 1:
        Error: Could not find the .cmi file for interface test.mli.
      grep "def f" test.annot
        def f "test.ml" 1 0 20 "test.ml" 1 0 -1
    
    One could argue that for the "could not find the .cmi" error, the file
    chosen could be test.mli. I find it more natural to have the name of
    the file that the user asked to compile (and therefore provoked the
    error). Any of those choices is better than "_none_" anyway.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    gasche committed Nov 11, 2012
Commits on Nov 10, 2012
  1. Add a strict_sequence flag to OCamlbuild.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13089 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jonathan Protzenko committed Nov 10, 2012
  2. Add a new bin_annot tag to OCamlbuild.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13088 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jonathan Protzenko committed Nov 10, 2012
Commits on Nov 9, 2012
  1. PR#5771: Add primitives for reading 2, 4, 8 bytes in strings and biga…

    …rrays
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    lefessan committed Nov 9, 2012
  2. PR#5795: Generate sqrtsd opcode instead of external call to sqrt on a…

    …md64
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13086 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    lefessan committed Nov 9, 2012
Commits on Nov 8, 2012
  1. New implementation of cmt2annot, based on an OO iterator for typed tr…

    …ees. Mostly work for Partial_implementation (#5816).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13085 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  2. Header.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  3. Move ast_mapper.ml to tools/.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13083 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  4. Failed attempt at fixing #5816.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13082 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  5. #5809: do not store a structure item together with sub-components in …

    …partial cmt files.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13081 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  6. #5809: do not keep both an expression and its sub-expressions in a pa…

    …rtial .cmt file (in case of type error).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  7. Simplify.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  8. #5809: remove hash-consing of environments, replaced by a much cheape…

    …r one-slot memoization.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  9. #5814: rebuild environments from summaries when needed.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
  10. #5814: remove annotations from environments; to produce .annot file, …

    …use the location from the value_description record.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 8, 2012
Commits on Nov 7, 2012
  1. PR#5810: error in switch printing when using -dclambda

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Nov 7, 2012
  2. Replace commly used format strings into simple calls to format functi…

    …ons, to improve performance of .annot file generation.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 7, 2012
  3. Even faster version.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 7, 2012
Commits on Nov 6, 2012
  1. Avoid format strings to generate .annot files; just switching to basi…

    …c Format function gives a 25% speedup over total compilation time for 'ocamlc.opt -annot' applied to typing/typecore.ml.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13070 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 6, 2012
  2. PR#5762: Add primitives for fast access to bigarray dimensions

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    lefessan committed Nov 6, 2012
  3. Backtrack wrong commit on boot/ocamlc.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 6, 2012
  4. #5812: compile read_cmt.opt (about 10x faster than read_cmt to genera…

    …te .annot files).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 6, 2012
  5. #5805: Changes file.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 6, 2012
  6. Attempt to fix #5805 (not tested).

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Nov 6, 2012
Commits on Nov 5, 2012
  1. fix indentation of parsing/pprintast.ml and a minor bug let _ as f = …

    …fun .. -> ..
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Hongbo Zhang committed Nov 5, 2012
  2. PR#5806: ensure that backtrace tests are always run (testsuite)

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Nov 5, 2012
Commits on Nov 3, 2012
  1. Ptyp_poly consistent in both methods and binding

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Hongbo Zhang committed Nov 3, 2012
  2. bug fix for parsing/pprintast.ml, now pprintast pass tests of all the…

    … files in the compiler directory, including camlp4
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Hongbo Zhang committed Nov 3, 2012
Commits on Nov 2, 2012
  1. bug fix for parsing/pprintast.ml and add tools/eqparsetree to diff tw…

    …o parsetree
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Hongbo Zhang committed Nov 2, 2012