diff options
Diffstat (limited to 'testsuite/tests/gadt/T19847a.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T19847a.stderr | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/T19847a.stderr b/testsuite/tests/gadt/T19847a.stderr new file mode 100644 index 0000000000..1505303835 --- /dev/null +++ b/testsuite/tests/gadt/T19847a.stderr @@ -0,0 +1,12 @@ +TYPE SIGNATURES + f :: forall b c. (T (Int, Int) b c -> Bool) -> (b, c) + h :: forall {c}. (Int, c) +TYPE CONSTRUCTORS + data type T{4} :: forall {k}. * -> k -> * -> * + roles nominal nominal phantom nominal +DATA CONSTRUCTORS + MkT :: forall {k} c y x (b :: k). + (x ~ y, c ~ [x], Ord x) => + x -> y -> T (x, y) b c +Dependent modules: [] +Dependent packages: [base-4.18.0.0] |