diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-10 16:25:27 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-10 16:25:27 +0100 |
| commit | c0b66697cafb42390d5eebb1d3d63a2e3fc0110c (patch) | |
| tree | cbaf29cd63ed5cebb9bbe3473958a635a8486c16 /testsuite/tests/typecheck/should_compile/tc231.stderr | |
| parent | 488f34cf98f8d147ca4f9292925f0337d2ee2332 (diff) | |
| download | haskell-c0b66697cafb42390d5eebb1d3d63a2e3fc0110c.tar.gz | |
Accept error wibbles
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc231.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc231.stderr | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc231.stderr b/testsuite/tests/typecheck/should_compile/tc231.stderr index 7431458a24..72f0c2007f 100644 --- a/testsuite/tests/typecheck/should_compile/tc231.stderr +++ b/testsuite/tests/typecheck/should_compile/tc231.stderr @@ -1,20 +1,24 @@ TYPE SIGNATURES
- foo :: forall s b chain.
- Zork s (Z [Char]) b =>
- Q s (Z [Char]) chain -> ST s ()
- s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
+ foo ::
+ forall s b chain.
+ Zork s (Z [Char]) b =>
+ Q s (Z [Char]) chain -> ST s ()
+ s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
TYPE CONSTRUCTORS
+ Q :: * -> * -> * -> *
data Q s a chain
No C type associated
RecFlag NonRecursive
= Node :: forall s a chain. s -> a -> chain -> Q s a chain
Stricts: _ _ _
FamilyInstance: none
+ Z :: * -> *
data Z a
No C type associated
RecFlag NonRecursive
= Z :: forall a. a -> Z a Stricts: _
FamilyInstance: none
+ Zork :: * -> * -> * -> Constraint
class Zork s a b | a -> b
RecFlag NonRecursive
huh :: forall chain. Q s a chain -> ST s ()
|