Commit - fedora-ocaml - dc34e6d938a7784333755f78f324384546828fea

    add -short-paths flag for printing shorter types when using modules
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Changes

file modified

+4 -0

driver/compile.ml

file modified

+6 -4

driver/errors.ml

file modified

+8 -8

driver/main.ml

file modified

+1 -0

driver/main_args.ml

file modified

+12 -0

driver/main_args.mli

file modified

+4 -0

driver/opterrors.ml

file modified

+8 -8

driver/optmain.ml

file modified

+1 -0

ocamldoc/odoc_analyse.ml

file modified

+8 -8

otherlibs/labltk/browser/searchid.ml

file modified

+2 -2

otherlibs/labltk/browser/searchpos.ml

file modified

+16 -12

otherlibs/labltk/browser/typecheck.ml

file modified

+8 -8

testsuite/tests/typing-gadts/dynamic_frisch.ml.principal.reference

file modified

+1 -0

testsuite/tests/typing-gadts/dynamic_frisch.ml.reference

file modified

+1 -0

testsuite/tests/typing-gadts/test.ml.principal.reference

file modified

+3 -0

testsuite/tests/typing-gadts/test.ml.reference

file modified

+3 -0

testsuite/tests/typing-objects/Exemples.ml.principal.reference

file modified

+6 -6

testsuite/tests/typing-objects/Exemples.ml.reference

file modified

+6 -6

testsuite/tests/typing-objects/Tests.ml.principal.reference

file modified

+2 -0

testsuite/tests/typing-objects/Tests.ml.reference

file modified

+2 -0

testsuite/tests/typing-poly/poly.ml.principal.reference

file modified

+6 -1

testsuite/tests/typing-poly/poly.ml.reference

file modified

+6 -1

testsuite/tests/typing-short-paths/Makefile

file added

+16

testsuite/tests/typing-short-paths/short-paths.ml

file added

+25

testsuite/tests/typing-short-paths/short-paths.ml.reference

file added

empty file added

tools/ocamlcp.ml

file modified

+1 -0

tools/ocamloptp.ml

file modified

+1 -0

toplevel/opttopmain.ml

file modified

+1 -0

toplevel/toploop.ml

file modified

+8 -7

toplevel/topmain.ml

file modified

+1 -0

typing/btype.ml

file modified

+6 -0

typing/btype.mli

file modified

+1 -0

typing/ctype.ml

file modified

+16 -16

typing/ctype.mli

file modified

+5 -5

typing/env.ml

file modified

+35 -0

typing/env.mli

file modified

+4 -0

typing/ident.ml

file modified

+5 -0

typing/ident.mli

file modified

+2 -0

typing/includeclass.ml

file modified

+19 -20

typing/includemod.ml

file modified

+22 -17

typing/includemod.mli

file modified

+1 -1

typing/printtyp.ml

file modified

+245 -73

typing/printtyp.mli

file modified

+10 -8

typing/stypes.ml

file modified

+3 -3

typing/typeclass.ml

file modified

+57 -49

typing/typeclass.mli

file modified

+2 -2

typing/typecore.ml

file modified

+82 -73

typing/typecore.mli

file modified

+3 -3

typing/typedecl.ml

file modified

+10 -10

typing/typedecl.mli

file modified

+2 -2

typing/typemod.ml

file modified

+38 -27

typing/typemod.mli

file modified

+2 -2

typing/typetexp.ml

file modified

+72 -79

typing/typetexp.mli

file modified

+28 -28

utils/clflags.ml

file modified

+1 -0

utils/clflags.mli

file modified

+1 -0

fedora-ocaml

Source Code

dc34e6d add -short-paths flag for printing shorter types when using modules

Merged and Committed by Jacques Garrigue 11 years ago

`dc34e6d` add -short-paths flag for printing shorter types when using modules