diff options
| author | Xavier Clerc <xavier.clerc@inria.fr> | 2010-06-18 12:23:16 +0000 |
|---|---|---|
| committer | Xavier Clerc <xavier.clerc@inria.fr> | 2010-06-18 12:23:16 +0000 |
| commit | 3eef7c687c289aa05f0733a0a327b050a1e5df09 (patch) | |
| tree | 3451e0d70652f4a82919b5e0ca2e7aacec9a9b12 | |
| parent | 9541ef1cd364ecb637c1f5ef6b374a1a61085202 (diff) | |
Test reference updated.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | testsuite/tests/typing-poly/poly.ml.principal.reference | 9 | ||||
| -rw-r--r-- | testsuite/tests/typing-poly/poly.ml.reference | 9 |
2 files changed, 0 insertions, 18 deletions
diff --git a/testsuite/tests/typing-poly/poly.ml.principal.reference b/testsuite/tests/typing-poly/poly.ml.principal.reference index 63281ae0d..7d9fd321a 100644 --- a/testsuite/tests/typing-poly/poly.ml.principal.reference +++ b/testsuite/tests/typing-poly/poly.ml.principal.reference @@ -587,13 +587,4 @@ val neg : int -> bool -> int * bool = <fun> # type t = A of int | B of (int * t) list | C of (string * t) list val transf : (int -> t) -> t -> t = <fun> val transf_alist : (int -> t) -> ('a * t) list -> ('a * t) list = <fun> -# type t = { f : 'a. ('a list -> int) Lazy.t; } -val l : t = {f = <lazy>} -# type t = { f : 'a. 'a -> unit; } -# - : t = {f = <fun>} -# Characters 3-16: - {f=fun ?x y -> y};; (* fail *) - ^^^^^^^^^^^^^ -Error: This field value has type unit -> unit which is less general than - 'a. 'a -> unit # diff --git a/testsuite/tests/typing-poly/poly.ml.reference b/testsuite/tests/typing-poly/poly.ml.reference index 6e4fce853..6fb484551 100644 --- a/testsuite/tests/typing-poly/poly.ml.reference +++ b/testsuite/tests/typing-poly/poly.ml.reference @@ -570,13 +570,4 @@ val neg : int -> bool -> int * bool = <fun> # type t = A of int | B of (int * t) list | C of (string * t) list val transf : (int -> t) -> t -> t = <fun> val transf_alist : (int -> t) -> ('a * t) list -> ('a * t) list = <fun> -# type t = { f : 'a. ('a list -> int) Lazy.t; } -val l : t = {f = <lazy>} -# type t = { f : 'a. 'a -> unit; } -# - : t = {f = <fun>} -# Characters 3-16: - {f=fun ?x y -> y};; (* fail *) - ^^^^^^^^^^^^^ -Error: This field value has type unit -> unit which is less general than - 'a. 'a -> unit # |