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 /compiler | |
| parent | d55a9b4fd5a3ce24b13311962bca66155b17a558 (diff) | |
| download | haskell-4f356466b733e51e72c92df4c7fce6b967e4ea5e.tar.gz | |
Adjust error message slightly
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcBinds.hs | 4 |
1 files changed, 2 insertions, 2 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 |