From: simonpj@microsoft.com <unknown>
Date: Wed, 14 Mar 2007 16:48:50 +0000 (+0000)
Subject: Wibble to type-error-message improvement
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a9b1d323161e1f696e364050e6675db71fab64e8

Wibble to type-error-message improvement
---

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index 12f3a73..4e50b5c 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -1137,7 +1137,7 @@ check_inst_head dflags clas tys
     (first_ty : _) = tys
 
     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")
+			     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.