diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr b/testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr deleted file mode 100644 index 0d4ea6d0c3..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc231.stderr +++ /dev/null @@ -1,22 +0,0 @@ -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] |