diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7438.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T7438.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr index 3f8ba8981e..92e01e7479 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -1,18 +1,18 @@ T7438.hs:6:14:
- Couldn't match expected type ‛t1’ with actual type ‛t’
- ‛t’ is untouchable
+ Couldn't match expected type ‘t1’ with actual type ‘t’
+ ‘t’ is untouchable
inside the constraints (t2 ~ t3)
bound by a pattern with constructor
Nil :: forall (a :: k). Thrist a a,
- in an equation for ‛go’
+ in an equation for ‘go’
at T7438.hs:6:4-6
- ‛t’ is a rigid type variable bound by
+ ‘t’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
- ‛t1’ is a rigid type variable bound by
+ ‘t1’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
Relevant bindings include
acc :: t (bound at T7438.hs:6:8)
go :: Thrist t2 t3 -> t -> t1 (bound at T7438.hs:6:1)
In the expression: acc
- In an equation for ‛go’: go Nil acc = acc
+ In an equation for ‘go’: go Nil acc = acc
|