Commit 9ea0c515 authored by simonpj's avatar simonpj
Browse files

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

Better location info
parent 94356abf
......@@ -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)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment