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 ed94ad5754..e2275b41c9 100644 --- a/testsuite/tests/indexed-types/should_compile/Simple14.stderr +++ b/testsuite/tests/indexed-types/should_compile/Simple14.stderr @@ -1,18 +1,18 @@ Simple14.hs:17:19:
- Couldn't match type ‛z0’ with ‛m’
- ‛z0’ is untouchable
+ Couldn't match type ‘z0’ with ‘m’
+ ‘z0’ is untouchable
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:17:12-33
- ‛m’ is a rigid type variable bound by
+ ‘m’ is a rigid type variable bound by
the type signature for foo :: EQ_ (Maybe m) (Maybe n)
at Simple14.hs:16:15
Expected type: EQ_ z0 z0
Actual type: EQ_ m n
Relevant bindings include
foo :: EQ_ (Maybe m) (Maybe n) (bound 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 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))
|