Error message wibbles
[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 Nat xs -> SBool (Increasing xs)
8       at T7230.hs:47:10-68
9     or from (xs ~ (':) Nat x xs1)
10       bound by a pattern with constructor
11                  SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
12                           Sing k x -> Sing [k] xs -> Sing [k] ((':) k x xs),
13                in an equation for ‛crash’
14       at T7230.hs:48:8-27
15     or from (xs1 ~ (':) Nat x1 xs2)
16       bound by a pattern with constructor
17                  SCons :: forall (k :: BOX) (x :: k) (xs :: [k]).
18                           Sing k x -> Sing [k] xs -> Sing [k] ((':) k 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     Relevant bindings include
24       y :: Sing Nat x1 (bound at T7230.hs:48:23)
25       x :: Sing Nat x (bound at T7230.hs:48:14)
26     In the expression: x %:<<= y
27     In an equation for ‛crash’:
28         crash (SCons x (SCons y xs)) = x %:<<= y