From: simonpj <unknown>
Date: Thu, 6 May 2004 12:28:07 +0000 (+0000)
Subject: [project @ 2004-05-06 12:28:07 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~1859
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=inline;h=9ea0c515038cb9670f9e77309ef90055ffb2d4ed;p=ghc-hetmet.git

[project @ 2004-05-06 12:28:07 by simonpj]
Better location info
---

diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs
index b0607e3..293ce10 100644
--- a/ghc/compiler/typecheck/TcBinds.lhs
+++ b/ghc/compiler/typecheck/TcBinds.lhs
@@ -41,7 +41,7 @@ import Name		( Name, getSrcLoc )
 import NameSet
 import Var		( tyVarKind )
 import VarSet
-import SrcLoc		( Located(..), srcLocSpan, unLoc, noLoc )
+import SrcLoc		( Located(..), srcLocSpan, unLoc, noLoc, getLoc )
 import Bag
 import Util		( isIn, equalLength )
 import BasicTypes	( TopLevelFlag(..), RecFlag(..), isNonRec, isRec, 
@@ -268,8 +268,9 @@ tcBindWithSigs top_lvl mbind sigs is_rec
 	-- GENERALISE
 	--	(it seems a bit crude to have to do getLIE twice,
 	--	 but I can't see a better way just now)
-    addSrcSpan (srcLocSpan (minimum (map getSrcLoc binder_names)))	$
-	-- TODO: location wrong
+    addSrcSpan (getLoc (head (bagToList mbind)))		$
+	-- TODO: location a bit awkward, but the mbinds have been
+	--	 dependency analysed and may no longer be adjacent
 
     addErrCtxt (genCtxt binder_names)				$
     getLIE (generalise binder_names mbind tau_tvs lie_req tc_ty_sigs)