Commit - fedora-ocaml - 67e18e5c4dde3b82005d8610a01383ba1561d561

    Fix PR#5985 for constrained parameters too.
    Required more variance information, so variance is now an abstract type.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

boot/ocamlc

file modified

+0 -0

boot/ocamldep

file modified

+0 -0

boot/ocamllex

file modified

+0 -0

ocamldoc/odoc_ast.ml

file modified

+5 -6

ocamldoc/odoc_sig.ml

file modified

+3 -4

testsuite/tests/typing-gadts/pr5985.ml

file modified

+28 -1

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

file modified

+37 -19

testsuite/tests/typing-private/private.ml

file modified

+6 -0

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

file modified

+2 -0

typing/ctype.ml

file modified

+17 -9

typing/includecore.ml

file modified

+14 -8

typing/predef.ml

file modified

+5 -5

typing/printtyp.ml

file modified

+8 -4

typing/typeclass.ml

file modified

+4 -4

typing/typedecl.ml

file modified

+171 -141

typing/typemod.ml

file modified

+5 -1

typing/types.ml

file modified

+33 -4

typing/types.mli

file modified

+22 -3

fedora-ocaml

Source Code

67e18e5 Fix PR#5985 for constrained parameters too.

Authored and Committed by Jacques Garrigue 10 years ago

`67e18e5` Fix PR#5985 for constrained parameters too.