diff options
Diffstat (limited to 'testsuite/tests/typing-gadts/pr6980.ml')
-rw-r--r-- | testsuite/tests/typing-gadts/pr6980.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typing-gadts/pr6980.ml b/testsuite/tests/typing-gadts/pr6980.ml index d42002ad33..7538b25fb1 100644 --- a/testsuite/tests/typing-gadts/pr6980.ml +++ b/testsuite/tests/typing-gadts/pr6980.ml @@ -2,7 +2,7 @@ type 'a t = [< `Foo | `Bar] as 'a;; type 'a s = [< `Foo | `Bar | `Baz > `Bar] as 'a;; type 'a first = First : 'a second -> ('b t as 'a) first -and 'a second = Second : ('b s as 'a) second;; +and 'a second = Second : ('b s as 'a) second;; type aux = Aux : 'a t second * ('a -> int) -> aux;; |