summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/holes3.stderr
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2013-01-30 10:03:39 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2013-01-30 10:03:39 +0000
commitffcfd20d86712242a21bed5d7404c8906dac0af2 (patch)
tree2be2bae58d47e8565172b246afc29b1b4809eabb /testsuite/tests/typecheck/should_compile/holes3.stderr
parent8f157fb5bef2b3016acd36a9caf0b3f41e1f71f7 (diff)
downloadhaskell-ffcfd20d86712242a21bed5d7404c8906dac0af2.tar.gz
Error messsage wibbles
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/holes3.stderr')
-rw-r--r--testsuite/tests/typecheck/should_compile/holes3.stderr36
1 files changed, 18 insertions, 18 deletions
diff --git a/testsuite/tests/typecheck/should_compile/holes3.stderr b/testsuite/tests/typecheck/should_compile/holes3.stderr
index 3bdba50f7e..87c80fe300 100644
--- a/testsuite/tests/typecheck/should_compile/holes3.stderr
+++ b/testsuite/tests/typecheck/should_compile/holes3.stderr
@@ -1,26 +1,26 @@
-holes3.hs:7:5:
- Found hole `_' with type t
+holes3.hs:5:5:
+ Found hole `_' with type: t
Where: `t' is a rigid type variable bound by
- the inferred type of f :: t at holes3.hs:7:1
- Relevant bindings include f :: t (bound at holes3.hs:7:1)
+ the inferred type of f :: t at holes3.hs:5:1
+ Relevant bindings include f :: t (bound at holes3.hs:5:1)
In the expression: _
In an equation for `f': f = _
-holes3.hs:10:7:
- Found hole `_' with type Char
- In the expression: _
- In an equation for `g': g x = _
+holes3.hs:8:7:
+ Found hole `_gr' with type: Char
+ In the expression: _gr
+ In an equation for `g': g x = _gr
-holes3.hs:12:5:
- Found hole `_' with type [Char]
- In the first argument of `(++)', namely `_'
- In the expression: _ ++ "a"
- In an equation for `h': h = _ ++ "a"
+holes3.hs:10:5:
+ Found hole `_aa' with type: [Char]
+ In the first argument of `(++)', namely `_aa'
+ In the expression: _aa ++ "a"
+ In an equation for `h': h = _aa ++ "a"
-holes3.hs:15:15:
- Found hole `_' with type b0
+holes3.hs:13:15:
+ Found hole `_x' with type: b0
Where: `b0' is an ambiguous type variable
- In the second argument of `const', namely `_'
- In the expression: const y _
- In an equation for `z': z y = const y _
+ In the second argument of `const', namely `_x'
+ In the expression: const y _x
+ In an equation for `z': z y = const y _x