diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-11-09 17:07:53 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-11-09 17:47:23 -0500 |
| commit | 10ff3e3180d1e808dbcff0f92afc5a3b3a8d4e83 (patch) | |
| tree | a3830215fcc81dcf83b207b4ca315d0541f0724e | |
| parent | 6bd352a85ffe9a649848dc79b017bb018e246d36 (diff) | |
| download | haskell-10ff3e3180d1e808dbcff0f92afc5a3b3a8d4e83.tar.gz | |
testsuite: Fix output of T14394
| -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 |