Permalink
Switch branches/tags
Commits on Nov 11, 2012
  1. merge patch new-error.diff by lpw25

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Nov 11, 2012
Commits on Nov 8, 2012
  1. better errors + fix escaping exception

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Nov 8, 2012
Commits on Nov 1, 2012
  1. add spellchecking for Wrong_name

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Nov 1, 2012
Commits on Oct 31, 2012
  1. keep longident in Typecore.Wrong_name

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 31, 2012
  2. Fix typo.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13053 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 31, 2012
  3. fix warnings

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13052 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 31, 2012
Commits on Oct 30, 2012
  1. Whitespace cleanup.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 30, 2012
  2. fix warnings

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 30, 2012
Commits on Oct 29, 2012
  1. clean up and merge the patch disambiguate-with-warning from PR#5759

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 29, 2012
Commits on Oct 24, 2012
  1. clean up

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13046 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 24, 2012
  2. In the unqualified case, allow typed-based resolution to succeed even…

    … if the label is not accessible in the toplevel environment (i.e. the module has not been opened).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 24, 2012
  3. Stop keeping a Path.t to refer to labels and constructors in the Type…

    …dtree AST. This is not used internally and it is not a robust way to identify these objects unambiguously anyway
    
    (especially when we will add more powerful disambiguation strategies).  The correct way to identify an item is through the pair (type,name), which can be deduced from the
    label_description/constructor_description stored in the Typedtree.
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 24, 2012
  4. #5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey…

    … Scofield, Anil Madhavapeddy).
    
    [PATCH] Detect and support armv6/VFPE2, which is sufficient to get
    ocamlopt working on the Raspberry Pi hardfloat Debian variant
    
    Original patch: Jeffrey Scofield via http://psellos.com/pub/ocamlxarm/ocaml4-vfpv2.diff
    Fixes from: Anil Madhavapeddy <anil@recoil.org>
    
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    committed Oct 24, 2012
Commits on Oct 19, 2012
  1. protect call to Env.find_type

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13037 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 19, 2012
Commits on Oct 18, 2012
  1. Cleanup.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13036 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 18, 2012
  2. only expand to first concrete definition

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 18, 2012
  3. fix label lookup

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 18, 2012
Commits on Oct 17, 2012
  1. add missing copyright headers

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  2. remove non-ascii chars

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  3. remove non-ascii chars

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  4. remove non-ascii chars

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13030 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  5. remove non-ascii chars

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  6. more small changes

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13028 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  7. ignore generated files

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  8. whitespace, non-ascii chars, some missing headers

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Oct 17, 2012
  9. #5741: make Pprintast available from the command-line (-dsource).

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13025 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 17, 2012
  10. #5741: link pprintast into the compiler (unused for now, but it is av…

    …ailable in compiler-libs).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 17, 2012
  11. Adapt to changes.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13023 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 17, 2012
  12. PR#5116: abide english typography in debugger messages.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13022 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Oct 17, 2012
Commits on Oct 16, 2012
  1. #5768: add tests.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 16, 2012
  2. Add missing module.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 16, 2012
  3. #5770: Syntax error messages involving unclosed parens are sometimes …

    …incorrect.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 16, 2012
  4. PR#5768: On 'unbound identifier' errors, use spell-checking to sugges…

    …t names present in the environment.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 16, 2012