Commit - fedora-ocaml - c425ae1ce8c128c76a2a8a848ff0d94409b06ea6

    Fix PR#5985; compute injectivity of types but no new syntax
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Changes

file modified

+2 -1

boot/ocamlc

file modified

+0 -0

boot/ocamldep

file modified

+0 -0

boot/ocamllex

file modified

+0 -0

ocamldoc/odoc_ast.ml

file modified

+1 -1

ocamldoc/odoc_sig.ml

file modified

+1 -1

testsuite/tests/typing-gadts/omega07.ml

file modified

+14 -14

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

file modified

+14 -14

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

file modified

+14 -14

testsuite/tests/typing-gadts/pr5985.ml

file added

+48

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

file added

+45

typing/ctype.ml

file modified

+46 -23

typing/includecore.ml

file modified

+2 -1

typing/predef.ml

file modified

+33 -75

typing/printtyp.ml

file modified

+1 -1

typing/typeclass.ml

file modified

+3 -3

typing/typedecl.ml

file modified

+124 -69

typing/typedecl.mli

file modified

+1 -1

typing/typemod.ml

file modified

+1 -1

typing/types.ml

file modified

+7 -2

typing/types.mli

file modified

+7 -2

utils/misc.ml

file modified

+1 -0

utils/misc.mli

file modified

+1 -0

fedora-ocaml

Source Code

c425ae1 Fix PR#5985; compute injectivity of types but no new syntax

Authored and Committed by Jacques Garrigue 11 years ago

`c425ae1` Fix PR#5985; compute injectivity of types but no new syntax