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/typecheck/should_fail/tcfail208.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/typecheck/should_fail/tcfail208.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail208.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail208.stderr b/testsuite/tests/typecheck/should_fail/tcfail208.stderr index c83c63be3f..ec3f4c668b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail208.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail208.stderr @@ -1,9 +1,9 @@ - -tcfail208.hs:4:19: - Could not deduce (Eq (m a)) arising from a use of ‘==’ - from the context (Monad m, Eq a) - bound by the type signature for - f :: (Monad m, Eq a) => a -> m a -> Bool - at tcfail208.hs:3:6-40 - In the expression: (return x == y) - In an equation for ‘f’: f x y = (return x == y) +
+tcfail208.hs:4:19:
+ Could not deduce (Eq (m a)) arising from a use of ‘==’
+ from the context (Monad m, Eq a)
+ bound by the type signature for:
+ f :: (Monad m, Eq a) => a -> m a -> Bool
+ at tcfail208.hs:3:6-40
+ In the expression: (return x == y)
+ In an equation for ‘f’: f x y = (return x == y)
|