Merge branch 'master' of http://darcs.haskell.org/testsuite
[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     In the expression: x %:<<= y
24     In an equation for `crash':
25         crash (SCons x (SCons y xs)) = x %:<<= y