Commit 7c9c129e authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

testsuite: Fix expected output

parent 92543601
T11976.hs:7:20: error:
• Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’
• In the type ‘Lens _ _ _’
T11976.hs:7:7:
Cannot instantiate unification variable ‘a0’
with a type involving foralls: Lens _3 _4 _5
GHC doesn't yet support impredicative polymorphism
In the expression: undefined :: Lens _ _ _
In an equation for ‘foo’: foo = undefined :: Lens _ _ _
Relevant bindings include
foo :: Lens _ _1 _2 (bound at T11976.hs:7:1)
T11976.hs:7:20:
Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’
In the type ‘Lens _ _ _’
In an expression type signature: Lens _ _ _
In the expression: undefined :: Lens _ _ _
Relevant bindings include
foo :: Lens _ _1 _2 (bound at T11976.hs:7:1)
T12634.hs:14:58: error:
• Expected a type, but
T12634.hs:14:19:
Found type wildcard ‘_’ standing for ‘()’
To use the inferred type, enable PartialTypeSignatures
In the type signature:
bench_twacePow :: forall t m m' r.
_ => t m' r -> Bench '(t, m, m', r)
T12634.hs:14:58:
Expected a type, but
‘'(t, m, m', r)’ has kind
‘(k1 -> k2 -> *, k0, k1, k2)’
In the first argument of ‘Bench’, namely ‘'(t, m, m', r)’
‘(* -> * -> *, *, *, *)’
In the first argument of ‘Bench’, namely ‘'(t, m, m', r)’
In the type ‘t m' r -> Bench '(t, m, m', r)’
In the type signature:
bench_twacePow :: forall t m m' r.
_ => t m' r -> Bench '(t, m, m', r)
T12634.hs:15:18:
Couldn't match kind ‘(* -> * -> *, *, *, *)’ with ‘*’
When matching types
params0 :: *
'(t, m, m', r) :: (* -> * -> *, *, *, *)
Expected type: t m' r -> Bench '(t, m, m', r)
Actual type: t m' r -> Bench params0
In the expression: bench (twacePowDec :: t m' r -> t m r)
In an equation for ‘bench_twacePow’:
bench_twacePow = bench (twacePowDec :: t m' r -> t m r)
Relevant bindings include
bench_twacePow :: t m' r -> Bench '(t, m, m', r)
(bound at T12634.hs:15:1)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment