diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr7214.ml')
-rw-r--r-- | testsuite/tests/typing-gadts/pr7214.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr7214.ml b/testsuite/tests/typing-gadts/pr7214.ml index 736b353e46..884381c98e 100644 --- a/testsuite/tests/typing-gadts/pr7214.ml +++ b/testsuite/tests/typing-gadts/pr7214.ml @@ -1,3 +1,7 @@ +(* TEST + * expect +*) + type _ t = I : int t;; let f (type a) (x : a t) = |