diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-14 07:55:01 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-14 07:55:01 +0100 |
commit | 4f356466b733e51e72c92df4c7fce6b967e4ea5e (patch) | |
tree | 168f71847d4a4a9c71885ac4b11b78317636dac9 | |
parent | d55a9b4fd5a3ce24b13311962bca66155b17a558 (diff) | |
download | haskell-4f356466b733e51e72c92df4c7fce6b967e4ea5e.tar.gz |
Adjust error message slightly
-rw-r--r-- | compiler/typecheck/TcBinds.hs | 4 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T11339.stderr | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/typecheck/TcBinds.hs b/compiler/typecheck/TcBinds.hs index 10d5901b19..4517b737e7 100644 --- a/compiler/typecheck/TcBinds.hs +++ b/compiler/typecheck/TcBinds.hs @@ -955,7 +955,7 @@ checkOverloadedSig monomorphism_restriction_applies sig , let orig_sig = sig_inst_sig sig = setSrcSpan (sig_loc orig_sig) $ failWith $ - hang (text "Illegal overloaded signature conflicts with monomorphism restriction") + hang (text "Overloaded signature conflicts with monomorphism restriction") 2 (ppr orig_sig) | otherwise = return () @@ -1484,7 +1484,7 @@ For (2) it would look like in <body> We typecheck pattern bindings as follows: - 1. In tcLhs we bind q'::alpha, for each varibable q bound by the + 1. In tcLhs we bind q'::alpha, for each variable q bound by the pattern, where q' is a fresh name, and alpha is a fresh unification variable; it will be the monomorphic verion of q that we later generalise diff --git a/testsuite/tests/typecheck/should_compile/T11339.stderr b/testsuite/tests/typecheck/should_compile/T11339.stderr index 9e8a8eca53..b43c45fe7c 100644 --- a/testsuite/tests/typecheck/should_compile/T11339.stderr +++ b/testsuite/tests/typecheck/should_compile/T11339.stderr @@ -1,6 +1,6 @@ T11339.hs:15:5: error:
- • Illegal overloaded signature conflicts with monomorphism restriction
+ • Overloaded signature conflicts with monomorphism restriction
t :: forall (f :: * -> *). Applicative f => (a -> f b) -> f t
• In an equation for ‘failing’:
failing left right afb s
|