add test related to issue #8698

ocaml · Jun 10, 2019 · aad3b34 · aad3b34
1 parent 44adb3c
commit aad3b34
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/testsuite/tests/typing-misc/ocamltests b/testsuite/tests/typing-misc/ocamltests
@@ -23,6 +23,7 @@ printing.ml
 records.ml
 scope_escape.ml
 unique_names_in_unification.ml
+variance.ml
 variant.ml
 wellfounded.ml
 empty_variant.ml

diff --git a/testsuite/tests/typing-misc/variance.ml b/testsuite/tests/typing-misc/variance.ml
@@ -0,0 +1,13 @@
+(* TEST
+   * expect
+*)
+
+(* #8698 *)
+
+(* Actually, this is not a bug *)
+type +'a t = [> `Foo of 'a -> unit] as 'a;;
+[%%expect{|
+type 'a t = 'a constraint 'a = [> `Foo of 'a -> unit ]
+|}, Principal{|
+type +'a t = 'a constraint 'a = [> `Foo of 'a -> unit ]
+|}]