Permalink
Commits on Dec 17, 2012
  1. shorten paths in annot + lookup abbreviations in persistent structures

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 17, 2012
Commits on Dec 10, 2012
  1. improve performance

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 10, 2012
  2. expand to simpler types

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@13123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 10, 2012
Commits on Aug 21, 2012
  1. merge version/4.00 at revision 12866

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Aug 21, 2012
Commits on Apr 19, 2012
  1. prefer newest name + only update env after printing

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 19, 2012
Commits on Apr 11, 2012
  1. build a map from internal paths to printed paths

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 11, 2012
Commits on Apr 3, 2012
  1. remove opened modules in type paths

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 3, 2012
Commits on Mar 31, 2012
  1. problem with applicative functors

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Mar 31, 2012
Commits on Mar 14, 2012
  1. shorten paths in .annot

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Mar 14, 2012
Commits on Jan 24, 2012
  1. disable shortening for errors in Typetexp

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 24, 2012
  2. disable shortening if Env.empty

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 24, 2012
Commits on Jan 23, 2012
  1. propagate path-expansion environment everywhere

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 23, 2012
Commits on Jan 22, 2012
  1. simpler approach for signatures

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 22, 2012
  2. shorten paths in signatures and toplevel output

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 22, 2012
  3. first attempt: handles only unification errors

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 22, 2012
  4. Attempt at shortening paths on printing

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 22, 2012
Commits on Jan 21, 2012
  1. cleaner fix of PR#5490

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 21, 2012
Commits on Jan 20, 2012
  1. #4830: Add option -v to expunge.ml.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 20, 2012
  2. Renaming.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 20, 2012
  3. Fix #5490.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 20, 2012
  4. Reverting bad commit.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 20, 2012
  5. Fix #5490.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 20, 2012
Commits on Jan 19, 2012
  1. PR#5482: fixed bashism (other problem have already been fixed).

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12054 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Jan 19, 2012
Commits on Jan 18, 2012
  1. Unused_var has been removed.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12053 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 18, 2012
  2. Unused_var has been removed.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12052 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 18, 2012
  3. Unused_var has been removed.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 18, 2012
  4. Direct implementation of the approximation of free identifiers + get …

    …rid of Unused_var module.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 18, 2012
  5. Fixed warning orders (testsuite).

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Jan 18, 2012
  6. Sorry, the reference files for the "letrec" test case were in the roo…

    …t directory.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Jan 18, 2012
  7. Missing reference files for test "letrec".

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Jan 18, 2012
  8. -warn-help show the meaning of letters.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 18, 2012
  9. Update Changes.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Jan 18, 2012
  10. Merge branch 'pending'

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jonathan Protzenko committed Jan 18, 2012
  11. PR#5199: tests are run only for bytecode if either native support is …

    …missing,
    
    or a non-empty value is set to "BYTECODE_ONLY" Makefile variable.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xclerc committed Jan 18, 2012
  12. Fix #5439: Upgrade to latest config.guess and config.sub.

    Patch by Benedikt Meurer <benedikt.meurer@gmail.com>
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12040 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jonathan Protzenko committed Jan 18, 2012