From a9b1d323161e1f696e364050e6675db71fab64e8 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 14 Mar 2007 16:48:50 +0000 Subject: [PATCH] Wibble to type-error-message improvement --- compiler/typecheck/TcMType.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 1.7.10.4