Permalink
Browse files

Wibbles to error output

  • Loading branch information...
1 parent b66d2c7 commit 85e023702778840b47e8f6ca1154a6fcdd49d95b @simonpj simonpj committed Apr 3, 2013
@@ -1,11 +1,11 @@
-
-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)
@@ -1,9 +1,9 @@
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
@@ -1,16 +1,16 @@
-
-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
@@ -1,9 +1,9 @@
-
-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##
@@ -1,10 +1,10 @@
-
-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
@@ -1,9 +1,9 @@
-
-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#
@@ -1,9 +1,9 @@
-
-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 }
@@ -1,9 +1,9 @@
-
-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')

0 comments on commit 85e0237

Please sign in to comment.