Rearrange error msgs and add section markers (Trac #11014).
[ghc.git] / testsuite / tests / polykinds / T7230.stderr
1
2 T7230.hs:48:32:
3     Could not deduce: (x :<<= x1) ~ 'True
4     from the context: Increasing xs ~ 'True
5       bound by the type signature for:
6                crash :: (Increasing xs ~ 'True) =>
7                         SList xs -> SBool (Increasing xs)
8       at T7230.hs:47:10-68
9     or from: xs ~ (x : xs1)
10       bound by a pattern with constructor:
11                  SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
12                           Sing x -> Sing xs -> Sing (x : xs),
13                in an equation for ‘crash’
14       at T7230.hs:48:8-27
15     or from: xs1 ~ (x1 : xs2)
16       bound by a pattern with constructor:
17                  SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
18                           Sing x -> Sing xs -> Sing (x : xs),
19                in an equation for ‘crash’
20       at T7230.hs:48:17-26
21     Expected type: SBool (Increasing xs)
22       Actual type: SBool (x :<<= x1)
23     In the expression: x %:<<= y
24     In an equation for ‘crash’:
25         crash (SCons x (SCons y xs)) = x %:<<= y
26     Relevant bindings include
27       y :: Sing x1 (bound at T7230.hs:48:23)
28       x :: Sing x (bound at T7230.hs:48:14)