diff options
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/T14394.stdout | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T14394.stdout b/testsuite/tests/patsyn/should_compile/T14394.stdout index 0519ecba6e..2dc3415d1b 100644 --- a/testsuite/tests/patsyn/should_compile/T14394.stdout +++ b/testsuite/tests/patsyn/should_compile/T14394.stdout @@ -1 +1,7 @@ -
\ No newline at end of file +pattern Foo :: () => (b ~ a) => a :~~: b + -- Defined at <interactive>:5:1 +pattern Bar :: forall k2 k1 (a :: k1) (b :: k2). () => (k2 ~ k1, + (b :: k2) ~~ (a :: k1)) => a :~~: b + -- Defined at <interactive>:11:1 +pattern Bam :: () => Ord a => a -> a -> (S a, S a) + -- Defined at <interactive>:21:1 |