Commit 717a1db6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Wibbles to error output

parent 25fb90d7
T3330c.hs:23:43:
Couldn't match kind ‛* -> *’ with ‛*’
When matching types
R :: (* -> *) -> *
Der ((->) x) :: * -> *
Expected type: Der ((->) x) (f1 x)
Actual type: R f1
In the first argument of ‛plug’, namely ‛rf’
In the first argument of ‛Inl’, namely ‛(plug rf df x)’
In the expression: Inl (plug rf df x)
T3330c.hs:23:43:
Couldn't match kind ‛*’ with ‛* -> *
When matching types
Der ((->) x) :: * -> *
R :: (* -> *) -> *
Expected type: Der ((->) x) (f1 x)
Actual type: R f1
In the first argument of ‛plug’, namely ‛rf’
In the first argument of ‛Inl’, namely ‛(plug rf df x)’
In the expression: Inl (plug rf df x)
T2714.hs:8:5:
Couldn't match type ‛c’ with ‛f0 (a -> b)
c’ is a rigid type variable bound by
the type signature for f :: ((a -> b) -> b) -> c -> a
at T2714.hs:8:1
Couldn't match type ‛a’ with ‛f0 b
a’ is a rigid type variable bound by
the type signature for f :: ((a -> b) -> b) -> forall c. c -> a
at T2714.hs:7:6
Expected type: ((a -> b) -> b) -> c -> a
Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b
Relevant bindings include
......@@ -12,10 +12,10 @@ T2714.hs:8:5:
In an equation for ‛f’: f = ffmap
T2714.hs:8:5:
Couldn't match type ‛a’ with ‛f0 b
a’ is a rigid type variable bound by
the type signature for f :: ((a -> b) -> b) -> forall c. c -> a
at T2714.hs:7:6
Couldn't match type ‛c’ with ‛f0 (a -> b)
c’ is a rigid type variable bound by
the type signature for f :: ((a -> b) -> b) -> c -> a
at T2714.hs:8:1
Expected type: ((a -> b) -> b) -> c -> a
Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b
Relevant bindings include
......
T3950.hs:15:13:
Couldn't match kind ‛*’ with ‛* -> *’
When matching types
Sealed :: (* -> *) -> *
w :: (* -> * -> *) -> *
Expected type: w (Id p)
Actual type: Sealed (Id p0 x0)
In the first argument of ‛Just’, namely ‛rp'’
In the expression: Just rp'
In an equation for ‛rp’:
rp _
= Just rp'
where
rp' :: Sealed (Id p x)
rp' = undefined
T3950.hs:15:13:
Couldn't match kind ‛* -> *’ with ‛*
When matching types
w :: (* -> * -> *) -> *
Sealed :: (* -> *) -> *
Expected type: w (Id p)
Actual type: Sealed (Id p0 x0)
In the first argument of ‛Just’, namely ‛rp'’
In the expression: Just rp'
In an equation for ‛rp’:
rp _
= Just rp'
where
rp' :: Sealed (Id p x)
rp' = undefined
T5570.hs:7:16:
Couldn't match kind ‛#’ with ‛*’
When matching types
Double# :: #
s0 :: *
In the second argument of ‛($)’, namely ‛D# $ 3.0##’
In the expression: print $ D# $ 3.0##
In an equation for ‛main’: main = print $ D# $ 3.0##
T5570.hs:7:16:
Couldn't match kind ‛*’ with ‛#’
When matching types
s0 :: *
Double# :: #
In the second argument of ‛($)’, namely ‛D# $ 3.0##’
In the expression: print $ D# $ 3.0##
In an equation for ‛main’: main = print $ D# $ 3.0##
T7368a.hs:8:6:
Couldn't match kind ‛* -> *’ with ‛*’
When matching types
Bad :: (* -> *) -> *
f :: * -> *
Expected type: f (Bad f)
Actual type: Bad t0
In the pattern: Bad x
In an equation for ‛fun’: fun (Bad x) = True
T7368a.hs:8:6:
Couldn't match kind ‛*’ with ‛* -> *
When matching types
f :: * -> *
Bad :: (* -> *) -> *
Expected type: f (Bad f)
Actual type: Bad t0
In the pattern: Bad x
In an equation for ‛fun’: fun (Bad x) = True
tcfail123.hs:11:9:
Couldn't match kind ‛#’ with ‛*’
When matching types
GHC.Prim.Int# :: #
t0 :: *
In the first argument of ‛f’, namely ‛3#’
In the expression: f 3#
In an equation for ‛h’: h v = f 3#
tcfail123.hs:11:9:
Couldn't match kind ‛*’ with ‛#’
When matching types
t0 :: *
GHC.Prim.Int# :: #
In the first argument of ‛f’, namely ‛3#’
In the expression: f 3#
In an equation for ‛h’: h v = f 3#
tcfail159.hs:9:11:
Couldn't match kind ‛#’ with ‛*’
When matching types
(# Int, Int #) :: #
t0 :: *
In the pattern: ~(# p, q #)
In a case alternative: ~(# p, q #) -> p
In the expression: case h x of { ~(# p, q #) -> p }
tcfail159.hs:9:11:
Couldn't match kind ‛*’ with ‛#’
When matching types
t0 :: *
(# Int, Int #) :: #
In the pattern: ~(# p, q #)
In a case alternative: ~(# p, q #) -> p
In the expression: case h x of { ~(# p, q #) -> p }
tcfail200.hs:5:15:
Couldn't match kind ‛#’ with ‛*’
When matching types
GHC.Prim.Int# :: #
t1 :: *
In the expression: 1#
In the expression: (1#, 'c')
In an equation for ‛x’: x = (1#, 'c')
tcfail200.hs:5:15:
Couldn't match kind ‛*’ with ‛#’
When matching types
t1 :: *
GHC.Prim.Int# :: #
In the expression: 1#
In the expression: (1#, 'c')
In an equation for ‛x’: x = (1#, 'c')
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