X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMType.lhs;h=c7385e2912a06dba65b958494aaeba2190de4f4a;hb=1a9245caefb80a3c4c5965aaacdf9a607e792e1c;hp=d5c794bafb278c0fba01fdefe82bfe897e1b548a;hpb=9d193eceb5f287ac3dfa90b40e22d9c992cf9f66;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index d5c794b..c7385e2 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -1530,7 +1530,8 @@ dupPredWarn dups   = ptext (sLit "Duplicate constraint(s):") <+> pprWithCommas p
 arityErr :: Outputable a => String -> a -> Int -> Int -> SDoc
 arityErr kind name n m
   = hsep [ text kind, quotes (ppr name), ptext (sLit "should have"),
-	   n_arguments <> comma, text "but has been given", int m]
+	   n_arguments <> comma, text "but has been given", 
+           if m==0 then text "none" else int m]
     where
 	n_arguments | n == 0 = ptext (sLit "no arguments")
 		    | n == 1 = ptext (sLit "1 argument")