diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc231.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc231.stderr | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc231.stderr b/testsuite/tests/typecheck/should_compile/tc231.stderr new file mode 100644 index 0000000000..0d4ea6d0c3 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc231.stderr @@ -0,0 +1,22 @@ +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 +TYPE CONSTRUCTORS + data Q s a chain + RecFlag NonRecursive + = Node :: forall s a chain. s -> a -> chain -> Q s a chain + Stricts: _ _ _ + FamilyInstance: none + data Z a + RecFlag NonRecursive + = Z :: forall a. a -> Z a Stricts: _ + FamilyInstance: none +COERCION AXIOMS + axiom ShouldCompile.NTCo:T:Zork [s, a, b] + :: ShouldCompile.T:Zork s a b + ~ + (forall chain. Q s a chain -> ST s ()) +Dependent modules: [] +Dependent packages: [base, ghc-prim, integer-gmp] |