X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMType.lhs;h=4e50b5cf3b92dab5194ebda3b3f5ef8a454207f4;hb=a9b1d323161e1f696e364050e6675db71fab64e8;hp=ca5ca0e409c2e7f687fbbeab8aaa976689f0e8af;hpb=69defef14097006a8fb35d9a03bb3bb2d842855f;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index ca5ca0e..4e50b5c 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -1136,8 +1136,8 @@ check_inst_head dflags clas tys
   where
     (first_ty : _) = tys
 
-    head_shape_msg = parens (text "The instance type must be of form (T a b c)" $$
-			     text "where T is not a synonym, and a,b,c are distinct type variables")
+    head_shape_msg = parens (text "The instance type must be of form (T a1 ... an)" $$
+			     text "where T is not a synonym, and a1 ... an are distinct type *variables*")
 
 	-- For now, I only allow tau-types (not polytypes) in 
 	-- the head of an instance decl.