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.script | |
| 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.script')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T11376.script | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/T11376.script b/testsuite/tests/ghci/scripts/T11376.script index 780db3c088..d359b66542 100644 --- a/testsuite/tests/ghci/scripts/T11376.script +++ b/testsuite/tests/ghci/scripts/T11376.script @@ -3,4 +3,10 @@ let { bar :: Show a => a -> b -> a; bar = error "urk" } :type bar @Int :set -fprint-explicit-foralls :type bar @Int - +:set -fprint-explicit-kinds -XTypeApplications -XTypeInType +data Prox a = Prox +let { prox :: Prox a; prox = Prox } +:t prox +:t prox @Int +:t Prox +:t Prox @Int |