diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4093b.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4093b.stderr | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4093b.stderr b/testsuite/tests/indexed-types/should_fail/T4093b.stderr new file mode 100644 index 0000000000..6818e006ef --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/T4093b.stderr @@ -0,0 +1,32 @@ + +T4093b.hs:31:13: + Could not deduce (e ~ C) + from the context (EitherCO e (A C O n) (A O O n) ~ A e O n, + EitherCO x (A C C n) (A C O n) ~ A C x n) + bound by the type signature for + blockToNodeList :: (EitherCO e (A C O n) (A O O n) ~ A e O n, + EitherCO x (A C C n) (A C O n) ~ A C x n) => + Block n e x -> A e x n + at T4093b.hs:(25,1)-(34,19) + `e' is a rigid type variable bound by + the type signature for + blockToNodeList :: (EitherCO e (A C O n) (A O O n) ~ A e O n, + EitherCO x (A C C n) (A C O n) ~ A C x n) => + Block n e x -> A e x n + at T4093b.hs:25:1 + Expected type: EitherCO e (A C O n) (A O O n) + Actual type: (MaybeC C (n C O), MaybeC O (n O C)) + In the expression: (JustC n, NothingC) + In an equation for `f': f n _ = (JustC n, NothingC) + In an equation for `blockToNodeList': + blockToNodeList b + = foldBlockNodesF (f, l) b z + where + z :: + EitherCO e (EitherCO e (A C O n) (A O O n)) (EitherCO e (A C O n) (A O O n)) + z = undefined + f :: + n C O + -> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C O n) (A O O n) + f n _ = (JustC n, NothingC) + .... |