X-Git-Url: http://git.haskell.org/ghc.git/blobdiff_plain/6c1caebfacfcb82eddbc091f7a10438caad7adeb..8e15e3d370e9c253ae0dbb330e25b72cb00cdb76:/testsuite/tests/typecheck/should_fail/T7453.stderr
diff --git a/testsuite/tests/typecheck/should_fail/T7453.stderr b/testsuite/tests/typecheck/should_fail/T7453.stderr
index af88fef..77348c3 100644
--- a/testsuite/tests/typecheck/should_fail/T7453.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7453.stderr
@@ -1,55 +1,58 @@
-T7453.hs:10:30:
- Couldn't match expected type `t1' with actual type `t'
- because type variable `t1' would escape its scope
- This (rigid, skolem) type variable is bound by
- the type signature for z :: Id t1
- at T7453.hs:8:16-19
- Relevant bindings include
- cast1 :: t -> a (bound at T7453.hs:7:1)
- v :: t (bound at T7453.hs:7:7)
- z :: Id t1 (bound at T7453.hs:9:11)
- aux :: Id t1 (bound at T7453.hs:10:21)
- In the first argument of `Id', namely `v'
- In the expression: Id v
- In an equation for `aux': aux = Id v
+T7453.hs:10:30: error:
+ â¢ Couldn't match expected type âtâ with actual type âpâ
+ because type variable âtâ would escape its scope
+ This (rigid, skolem) type variable is bound by
+ the type signature for:
+ z :: forall t. Id t
+ at T7453.hs:8:11-19
+ â¢ In the first argument of âIdâ, namely âvâ
+ In the expression: Id v
+ In an equation for âauxâ: aux = Id v
+ â¢ Relevant bindings include
+ aux :: Id t (bound at T7453.hs:10:21)
+ z :: Id t (bound at T7453.hs:9:11)
+ v :: p (bound at T7453.hs:7:7)
+ cast1 :: p -> a (bound at T7453.hs:7:1)
-T7453.hs:16:33:
- Couldn't match expected type `t2' with actual type `t'
- because type variable `t2' would escape its scope
- This (rigid, skolem) type variable is bound by
- the type signature for z :: () -> t2
- at T7453.hs:14:16-22
- Relevant bindings include
- cast2 :: t -> t1 (bound at T7453.hs:13:1)
- v :: t (bound at T7453.hs:13:7)
- z :: () -> t2 (bound at T7453.hs:15:11)
- aux :: b -> t2 (bound at T7453.hs:16:21)
- In the first argument of `const', namely `v'
- In the expression: const v
- In an equation for `aux': aux = const v
+T7453.hs:16:33: error:
+ â¢ Couldn't match expected type ât1â with actual type âpâ
+ because type variable ât1â would escape its scope
+ This (rigid, skolem) type variable is bound by
+ the type signature for:
+ z :: forall t1. () -> t1
+ at T7453.hs:14:11-22
+ â¢ In the first argument of âconstâ, namely âvâ
+ In the expression: const v
+ In an equation for âauxâ: aux = const v
+ â¢ Relevant bindings include
+ aux :: b -> t1 (bound at T7453.hs:16:21)
+ z :: () -> t1 (bound at T7453.hs:15:11)
+ v :: p (bound at T7453.hs:13:7)
+ cast2 :: p -> t (bound at T7453.hs:13:1)
-T7453.hs:21:15:
- Couldn't match expected type `t2' with actual type `t'
- because type variable `t2' would escape its scope
- This (rigid, skolem) type variable is bound by
- the type signature for z :: t2
- at T7453.hs:20:16
- Relevant bindings include
- cast3 :: t -> t1 (bound at T7453.hs:19:1)
- v :: t (bound at T7453.hs:19:7)
- z :: t2 (bound at T7453.hs:21:11)
- aux :: forall b. b -> t2 (bound at T7453.hs:22:21)
- In the expression: v
- In an equation for `z':
- z = v
- where
- aux = const v
- In an equation for `cast3':
- cast3 v
- = z
- where
- z :: t
- z = v
- where
- aux = const v
+T7453.hs:21:15: error:
+ â¢ Couldn't match expected type ât1â with actual type âpâ
+ because type variable ât1â would escape its scope
+ This (rigid, skolem) type variable is bound by
+ the type signature for:
+ z :: forall t1. t1
+ at T7453.hs:20:11-16
+ â¢ In the expression: v
+ In an equation for âzâ:
+ z = v
+ where
+ aux = const v
+ In an equation for âcast3â:
+ cast3 v
+ = z
+ where
+ z :: t
+ z = v
+ where
+ aux = const v
+ â¢ Relevant bindings include
+ aux :: forall b. b -> p (bound at T7453.hs:22:21)
+ z :: t1 (bound at T7453.hs:21:11)
+ v :: p (bound at T7453.hs:19:7)
+ cast3 :: p -> t (bound at T7453.hs:19:1)