Error message wibbles, following TcErrors refactoring
[ghc.git] / testsuite / tests / typecheck / should_fail / T3950.stderr
1 \r
2 T3950.hs:15:13:\r
3     Couldn't match type ‛Id p0 x0’ with ‛Id p’\r
4     Expected type: w (Id p)\r
5       Actual type: Sealed (Id p0 x0)\r
6     Relevant bindings include\r
7       rp :: Bool -> Maybe (w (Id p)) (bound at T3950.hs:15:1)\r
8     In the first argument of ‛Just’, namely ‛rp'’\r
9     In the expression: Just rp'\r
10     In an equation for ‛rp’:\r
11         rp _\r
12           = Just rp'\r
13           where\r
14               rp' :: Sealed (Id p x)\r
15               rp' = undefined\r