diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/Simple14.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/Simple14.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.stderr b/testsuite/tests/indexed-types/should_compile/Simple14.stderr new file mode 100644 index 0000000000..a5250d556f --- /dev/null +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -0,0 +1,13 @@ + +Simple14.hs:17:12: + Couldn't match type `z0' with `n' + `z0' is untouchable + inside the constraints (Maybe m ~ Maybe n) + bound at a type expected by the context: + Maybe m ~ Maybe n => EQ_ z0 z0 + `n' is a rigid type variable bound by + the type signature for foo :: EQ_ (Maybe m) (Maybe n) + at Simple14.hs:17:1 + In the second argument of `eqE', namely `(eqI :: EQ_ m n)' + In the first argument of `ntI', namely `(`eqE` (eqI :: EQ_ m n))' + In the expression: ntI (`eqE` (eqI :: EQ_ m n)) |