Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8603.stderr
1
2 T8603.hs:13:10: error:
3     • No instance for (Applicative RV)
4         arising from the superclasses of an instance declaration
5     • In the instance declaration for ‘Monad RV’
6
7 T8603.hs:29:17: error:
8     • Couldn't match kind ‘* -> *’ with ‘*’
9       When matching the kind of ‘[[a0]]’
10     • The function ‘lift’ is applied to two arguments,
11       but its type ‘[] [a0] (StateT s RV t0)
12                     -> (->) [[a0]] (StateT s RV t0)’
13       has only one
14       In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
15       In the expression:
16         do { prize <- lift uniform [1, 2, ....];
17              return False }
18
19 T8603.hs:29:22: error:
20     • Couldn't match type ‘RV a0’ with ‘StateT s RV t0’
21       Expected type: [] [a0] (StateT s RV t0)
22         Actual type: [a0] -> RV a0
23     • In the first argument of ‘lift’, namely ‘uniform’
24       In a stmt of a 'do' block: prize <- lift uniform [1, 2, 3]
25     • Relevant bindings include
26         testRVState1 :: RVState s Bool (bound at T8603.hs:28:1)