Adjust error message slightly
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 14 Jun 2016 06:55:01 +0000 (07:55 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 14 Jun 2016 06:55:01 +0000 (07:55 +0100)
compiler/typecheck/TcBinds.hs
testsuite/tests/typecheck/should_compile/T11339.stderr

index 10d5901..4517b73 100644 (file)
@@ -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
index 9e8a8ec..b43c45f 100644 (file)
@@ -1,6 +1,6 @@
 \r
 T11339.hs:15:5: error:\r
-    • Illegal overloaded signature conflicts with monomorphism restriction\r
+    • Overloaded signature conflicts with monomorphism restriction\r
         t :: forall (f :: * -> *). Applicative f => (a -> f b) -> f t\r
     • In an equation for ‘failing’:\r
           failing left right afb s\r