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 8a1af96fe3..aaa4daf019 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -1,20 +1,20 @@ 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 (k :: BOX) (a :: k). Thrist k 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 k 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 k t2 t3 -> t -> t1 at T7438.hs:6:1 Relevant bindings include go :: Thrist k t2 t3 -> t -> t1 (bound at T7438.hs:6:1) acc :: t (bound at T7438.hs:6:8) In the expression: acc - In an equation for `go': go Nil acc = acc + In an equation for ‛go’: go Nil acc = acc |