diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/Simple14.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/Simple14.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/Simple14.stderr b/testsuite/tests/indexed-types/should_compile/Simple14.stderr index 6159b08898..7489ffce5a 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -1,5 +1,5 @@ -Simple14.hs:19:27: error: +Simple14.hs:20:27: error: • Couldn't match type ‘z0’ with ‘n’ Expected: EQ_ z0 z0 Actual: EQ_ m n @@ -7,15 +7,15 @@ Simple14.hs:19:27: error: inside the constraints: Maybe m ~ Maybe n bound by a type expected by the context: (Maybe m ~ Maybe n) => EQ_ z0 z0 - at Simple14.hs:19:26-41 + at Simple14.hs:20:26-41 ‘n’ is a rigid type variable bound by the type signature for: foo :: forall m n. EQ_ (Maybe m) (Maybe n) - at Simple14.hs:18:1-42 + at Simple14.hs:19:1-42 • In the second argument of ‘eqE’, namely ‘(eqI :: EQ_ m n)’ In the expression: x `eqE` (eqI :: EQ_ m n) In the first argument of ‘ntI’, namely ‘(\ x -> x `eqE` (eqI :: EQ_ m n))’ • Relevant bindings include - x :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:19:13) - foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:19:1) + x :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:20:13) + foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:20:1) |