diff options
| -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 # |