diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-03 23:27:21 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-06 14:18:44 +0000 |
| commit | 00e1fc1b18e1b5aa5db18bee9f9adc67435f00b0 (patch) | |
| tree | debc157bb5e87e8cf464f9fd9517c089a9dd5861 /testsuite/tests/gadt/gadt-escape1.stderr | |
| parent | f17992a4954ac14cc6a3fe6a61ec6544a098da93 (diff) | |
| download | haskell-00e1fc1b18e1b5aa5db18bee9f9adc67435f00b0.tar.gz | |
Modify a couple of error messages slightly
In particular
In the type signature for:
f :: Int -> Int
I added the colon
Also reword the "maybe you haven't applied a function to enough arguments?"
suggestion to make grammatical sense.
These tiny changes affect a lot of error messages.
Diffstat (limited to 'testsuite/tests/gadt/gadt-escape1.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadt-escape1.stderr | 35 |
1 files changed, 17 insertions, 18 deletions
diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index 35d1bf44d4..a98e2739a9 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -1,18 +1,17 @@ - -gadt-escape1.hs:19:58: - Couldn't match type ‘t’ with ‘ExpGADT Int’ - ‘t’ is untouchable - inside the constraints (t1 ~ Int) - bound by a pattern with constructor - ExpInt :: Int -> ExpGADT Int, - in a case alternative - at gadt-escape1.hs:19:43-50 - ‘t’ is a rigid type variable bound by - the inferred type of weird1 :: t at gadt-escape1.hs:19:1 - Possible fix: add a type signature for ‘weird1’ - Expected type: t - Actual type: ExpGADT t1 - Relevant bindings include - weird1 :: t (bound at gadt-escape1.hs:19:1) - In the expression: a - In a case alternative: Hidden (ExpInt _) a -> a +
+gadt-escape1.hs:19:58:
+ Couldn't match type ‘t’ with ‘ExpGADT Int’
+ ‘t’ is untouchable
+ inside the constraints (t1 ~ Int)
+ bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int,
+ in a case alternative
+ at gadt-escape1.hs:19:43-50
+ ‘t’ is a rigid type variable bound by
+ the inferred type of weird1 :: t at gadt-escape1.hs:19:1
+ Possible fix: add a type signature for ‘weird1’
+ Expected type: t
+ Actual type: ExpGADT t1
+ Relevant bindings include
+ weird1 :: t (bound at gadt-escape1.hs:19:1)
+ In the expression: a
+ In a case alternative: Hidden (ExpInt _) a -> a
|