X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=0dbb77564f29a40a57d55a42ad962761334ddcaa;hb=ab241c5d6187a93acffc609bdbffdae30ff9b284;hp=b4d34983680bd4b8c80b155c8ddc3a91a5cee5f7;hpb=e3dd39bf230380f02d73efc287226117bb2eb47f;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index b4d3498..0dbb775 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -252,7 +252,7 @@ tcLocalInstDecl1 decl@(L loc (InstDecl poly_ty binds uprags ats))
 
 	-- Finally, construct the Core representation of the instance.
 	-- (This no longer includes the associated types.)
-	; dfun_name <- newDFunName clas inst_tys (srcSpanStart loc)
+	; dfun_name <- newDFunName clas inst_tys loc
 	; overlap_flag <- getOverlapFlag
 	; let dfun           = mkDictFunId dfun_name tyvars theta clas inst_tys
 	      ispec          = mkLocalInstance dfun overlap_flag
@@ -582,10 +582,11 @@ tcInstDecl2 (InstInfo { iSpec = ispec, iBinds = VanillaInst monobinds uprags })
 	dfun_id    = instanceDFunId ispec
 	rigid_info = InstSkol
 	inst_ty    = idType dfun_id
+	loc   	   = srcLocSpan (getSrcLoc dfun_id)
     in
 	 -- Prime error recovery
     recoverM (returnM emptyLHsBinds)		$
-    setSrcSpan (srcLocSpan (getSrcLoc dfun_id))	$
+    setSrcSpan loc				$
     addErrCtxt (instDeclCtxt2 (idType dfun_id))	$
 
 	-- Instantiate the instance decl with skolem constants 
@@ -638,7 +639,7 @@ tcInstDecl2 (InstInfo { iSpec = ispec, iBinds = VanillaInst monobinds uprags })
 	scs_and_meths = map instToId sc_dicts ++ meth_ids
 	this_dict_id  = instToId this_dict
 	inline_prag | null dfun_arg_dicts = []
-		    | otherwise	= [InlinePrag (Inline AlwaysActive True)]
+		    | otherwise	= [L loc (InlinePrag (Inline AlwaysActive True))]
 		-- Always inline the dfun; this is an experimental decision
 		-- because it makes a big performance difference sometimes.
 		-- Often it means we can do the method selection, and then