From 70665778c6797aa356b4bec370a5d7c45268aa7c Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones
Date: Fri, 13 Apr 2012 22:06:59 +0100
Subject: [PATCH] Wibble to error message

.../simplCore/should_compile/rule2.stderr  60 ++++++
.../typecheck/should_compile/tc141.stderr  86 +++++++++
2 files changed, 73 insertions(+), 73 deletions()
diff git a/testsuite/tests/simplCore/should_compile/rule2.stderr b/testsuite/tests/simplCore/should_compile/rule2.stderr
index 8279fce14f..0fd629d969 100644
 a/testsuite/tests/simplCore/should_compile/rule2.stderr
+++ b/testsuite/tests/simplCore/should_compile/rule2.stderr
@@ 1,30 +1,30 @@

==================== FloatOut stats: ====================
1 Lets floated to top level; 0 Lets floated elsewhere; from 4 Lambda groups



==================== FloatOut stats: ====================
0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups



==================== Grand total simplifier statistics ====================
Total ticks: 11

2 PreInlineUnconditionally
 1 f
 1 lvl
1 UnfoldingDone 1 Roman.bar
1 RuleFired 1 foo/bar
7 BetaReduction
 1 f
 1 m
 1 a
 1 b
 1 m
 1 m
 1 a
8 SimplifierDone 8


+
+==================== FloatOut stats: ====================
+1 Lets floated to top level; 0 Lets floated elsewhere; from 4 Lambda groups
+
+
+
+==================== FloatOut stats: ====================
+0 Lets floated to top level; 0 Lets floated elsewhere; from 3 Lambda groups
+
+
+
+==================== Grand total simplifier statistics ====================
+Total ticks: 11
+
+2 PreInlineUnconditionally
+ 1 f
+ 1 lvl
+1 UnfoldingDone 1 Roman.bar
+1 RuleFired 1 foo/bar
+7 BetaReduction
+ 1 f
+ 1 m
+ 1 a
+ 1 m
+ 1 b
+ 1 m
+ 1 a
+8 SimplifierDone 8
+
+
diff git a/testsuite/tests/typecheck/should_compile/tc141.stderr b/testsuite/tests/typecheck/should_compile/tc141.stderr
index 0d08303345..db8448f464 100644
 a/testsuite/tests/typecheck/should_compile/tc141.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc141.stderr
@@ 1,43 +1,43 @@

tc141.hs:11:12:
 You cannot bind scoped type variable `a'
 in a pattern binding signature
 In the pattern: p :: a
 In the pattern: (p :: a, q :: a)
 In a pattern binding: (p :: a, q :: a) = x

tc141.hs:11:31:
 Couldn't match expected type `a1' with actual type `a'
 `a1' is a rigid type variable bound by
 an expression type signature: a1 at tc141.hs:11:31
 `a' is a rigid type variable bound by
 the inferred type of f :: (a, a) > (t, a) at tc141.hs:11:1
 In the expression: q :: a
 In the expression: (q :: a, p)
 In the expression: let (p :: a, q :: a) = x in (q :: a, p)

tc141.hs:13:13:
 You cannot bind scoped type variable `a'
 in a pattern binding signature
 In the pattern: y :: a
 In a pattern binding: y :: a = a
 In the expression:
 let y :: a = a in
 let
 v :: a
 v = b
 in v

tc141.hs:15:18:
 Couldn't match expected type `a1' with actual type `t1'
 `a1' is a rigid type variable bound by
 the type signature for v :: a1 at tc141.hs:14:19
 `t1' is a rigid type variable bound by
 the inferred type of g :: t > t1 > a at tc141.hs:13:1
 In the expression: b
 In an equation for `v': v = b
 In the expression:
 let
 v :: a
 v = b
 in v
+
+tc141.hs:11:12:
+ You cannot bind scoped type variable `a'
+ in a pattern binding signature
+ In the pattern: p :: a
+ In the pattern: (p :: a, q :: a)
+ In a pattern binding: (p :: a, q :: a) = x
+
+tc141.hs:11:31:
+ Couldn't match expected type `a1' with actual type `a'
+ `a1' is a rigid type variable bound by
+ an expression type signature: a1 at tc141.hs:11:31
+ `a' is a rigid type variable bound by
+ the inferred type of f :: (a, a) > (t, a) at tc141.hs:11:1
+ In the expression: q :: a
+ In the expression: (q :: a, p)
+ In the expression: let (p :: a, q :: a) = x in (q :: a, p)
+
+tc141.hs:13:13:
+ You cannot bind scoped type variable `a'
+ in a pattern binding signature
+ In the pattern: y :: a
+ In a pattern binding: y :: a = a
+ In the expression:
+ let y :: a = a in
+ let
+ v :: a
+ v = b
+ in v
+
+tc141.hs:15:18:
+ Couldn't match expected type `a2' with actual type `t'
+ `a2' is a rigid type variable bound by
+ the type signature for v :: a2 at tc141.hs:14:19
+ `t' is a rigid type variable bound by
+ the inferred type of g :: a > t > a1 at tc141.hs:13:1
+ In the expression: b
+ In an equation for `v': v = b
+ In the expression:
+ let
+ v :: a
+ v = b
+ in v

GitLab