Commit 70665778 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Wibble to error message

parent 6cc2d276
==================== FloatOut stats: ==================== ==================== FloatOut stats: ====================
1 Lets floated to top level; 0 Lets floated elsewhere; from 4 Lambda groups 1 Lets floated to top level; 0 Lets floated elsewhere; from 4 Lambda groups
==================== FloatOut stats: ==================== ==================== FloatOut stats: ====================
0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups 0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups
==================== Grand total simplifier statistics ==================== ==================== Grand total simplifier statistics ====================
Total ticks: 11 Total ticks: 11
2 PreInlineUnconditionally 2 PreInlineUnconditionally
1 f 1 f
1 lvl 1 lvl
1 UnfoldingDone 1 Roman.bar 1 UnfoldingDone 1 Roman.bar
1 RuleFired 1 foo/bar 1 RuleFired 1 foo/bar
7 BetaReduction 7 BetaReduction
1 f 1 f
1 m 1 m
1 a 1 a
1 b 1 m
1 m 1 b
1 m 1 m
1 a 1 a
8 SimplifierDone 8 8 SimplifierDone 8
tc141.hs:11:12: tc141.hs:11:12:
You cannot bind scoped type variable `a' You cannot bind scoped type variable `a'
in a pattern binding signature in a pattern binding signature
In the pattern: p :: a In the pattern: p :: a
In the pattern: (p :: a, q :: a) In the pattern: (p :: a, q :: a)
In a pattern binding: (p :: a, q :: a) = x In a pattern binding: (p :: a, q :: a) = x
tc141.hs:11:31: tc141.hs:11:31:
Couldn't match expected type `a1' with actual type `a' Couldn't match expected type `a1' with actual type `a'
`a1' is a rigid type variable bound by `a1' is a rigid type variable bound by
an expression type signature: a1 at tc141.hs:11:31 an expression type signature: a1 at tc141.hs:11:31
`a' is a rigid type variable bound by `a' is a rigid type variable bound by
the inferred type of f :: (a, a) -> (t, a) at tc141.hs:11:1 the inferred type of f :: (a, a) -> (t, a) at tc141.hs:11:1
In the expression: q :: a In the expression: q :: a
In the expression: (q :: a, p) In the expression: (q :: a, p)
In the expression: let (p :: a, q :: a) = x in (q :: a, p) In the expression: let (p :: a, q :: a) = x in (q :: a, p)
tc141.hs:13:13: tc141.hs:13:13:
You cannot bind scoped type variable `a' You cannot bind scoped type variable `a'
in a pattern binding signature in a pattern binding signature
In the pattern: y :: a In the pattern: y :: a
In a pattern binding: y :: a = a In a pattern binding: y :: a = a
In the expression: In the expression:
let y :: a = a in let y :: a = a in
let let
v :: a v :: a
v = b v = b
in v in v
tc141.hs:15:18: tc141.hs:15:18:
Couldn't match expected type `a1' with actual type `t1' Couldn't match expected type `a2' with actual type `t'
`a1' is a rigid type variable bound by `a2' is a rigid type variable bound by
the type signature for v :: a1 at tc141.hs:14:19 the type signature for v :: a2 at tc141.hs:14:19
`t1' is a rigid type variable bound by `t' is a rigid type variable bound by
the inferred type of g :: t -> t1 -> a at tc141.hs:13:1 the inferred type of g :: a -> t -> a1 at tc141.hs:13:1
In the expression: b In the expression: b
In an equation for `v': v = b In an equation for `v': v = b
In the expression: In the expression:
let let
v :: a v :: a
v = b v = b
in v in v
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