diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-04 10:34:35 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-04-04 10:44:27 +0100 |
| commit | b3ecd047c432405b57b429fdeaad43f5dcd1ee24 (patch) | |
| tree | 97724f996c075bbe183f6e8c8585dcd5f4f51ecf /testsuite/tests/ghci/scripts/T11376.stdout | |
| parent | 90d7d6086ed6f271a352e784c3bc1d5ecac6052c (diff) | |
| download | haskell-b3ecd047c432405b57b429fdeaad43f5dcd1ee24.tar.gz | |
Elaborate test for #11376
This just adds the Prox stuff from the Description in Trac #11376
to the test case,
The class stuff seems weird becuase the type is ambiguous
Diffstat (limited to 'testsuite/tests/ghci/scripts/T11376.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T11376.stdout | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T11376.stdout b/testsuite/tests/ghci/scripts/T11376.stdout index 0b0b95922f..c94516772c 100644 --- a/testsuite/tests/ghci/scripts/T11376.stdout +++ b/testsuite/tests/ghci/scripts/T11376.stdout @@ -1,2 +1,6 @@ bar @Int :: Int -> b -> Int bar @Int :: forall {b}. Int -> b -> Int +prox :: forall {k} {a :: k}. Prox k a +prox @Int :: Prox * Int +Prox :: forall {k} {a :: k}. Prox k a +Prox @Int :: Prox * Int |