diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr6690.ml')
-rw-r--r-- | testsuite/tests/typing-gadts/pr6690.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/typing-gadts/pr6690.ml b/testsuite/tests/typing-gadts/pr6690.ml index b9466f68d6..29202c3676 100644 --- a/testsuite/tests/typing-gadts/pr6690.ml +++ b/testsuite/tests/typing-gadts/pr6690.ml @@ -1,3 +1,7 @@ +(* TEST + * expect +*) + type 'a visit_action type insert |