diff options
Diffstat (limited to 'testsuite/tests/typing-poly/poly.ml.reference')
| -rw-r--r-- | testsuite/tests/typing-poly/poly.ml.reference | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/typing-poly/poly.ml.reference b/testsuite/tests/typing-poly/poly.ml.reference index 311c5427b4..9929020d54 100644 --- a/testsuite/tests/typing-poly/poly.ml.reference +++ b/testsuite/tests/typing-poly/poly.ml.reference @@ -602,4 +602,7 @@ Error: This field value has type unit -> unit which is less general than type 'x t = < f : 'y. 'y t >;; ^^^^^^^^^^^^^^^^^^^^^^^^ Error: In the definition of t, type 'y t should be 'x t +# val using_match : bool -> int * ('a -> 'a) = <fun> +# - : ('a -> 'a) * ('b -> 'b) = (<fun>, <fun>) +# - : ('a -> 'a) * ('b -> 'b) = (<fun>, <fun>) # |