From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Wed, 20 Sep 2006 18:39:52 +0000 (+0000)
Subject: Better error message for indexes that must be variables
X-Git-Tag: After_FC_branch_merge~21
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=b5d068a262d7afe153c12ed593cb8bbb39abe932

Better error message for indexes that must be variables
Mon Sep 18 19:19:10 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Better error message for indexes that must be variables
  Wed Aug 30 20:21:33 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Better error message for indexes that must be variables
---

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 3449766..1d8310c 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -833,8 +833,9 @@ atInstCtxt name = ptext SLIT("In the associated type instance for") <+>
 		  quotes (ppr name)
 
 mustBeVarArgErr ty = 
-  sep [ ptext SLIT("Arguments that do not correspond to a class parameter")
-      , ptext SLIT("must be variables:") <+> ppr ty
+  sep [ ptext SLIT("Arguments that do not correspond to a class parameter") <+>
+        ptext SLIT("must be variables")
+      , ptext SLIT("Instead of a variable, found") <+> ppr ty
       ]
 
 wrongATArgErr ty instTy =