X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=36cda5abc2174cdf24b7cf2bd2094b304a47f3fc;hb=49ea1fa53acd2569b0b74c86a981b0d3779515dd;hp=a044f43ef2f80e00aa7e8f3fde330de1b59b5b5a;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs index a044f43..36cda5a 100644 --- a/compiler/typecheck/TcExpr.lhs +++ b/compiler/typecheck/TcExpr.lhs @@ -32,9 +32,7 @@ import BasicTypes ( Arity, isMarkedStrict ) import Inst ( newMethodFromName, newIPDict, instToId, newDicts, newMethodWithGivenTy, tcInstStupidTheta ) import TcBinds ( tcLocalBinds ) -import TcEnv ( tcLookup, tcLookupId, - tcLookupDataCon, tcLookupGlobalId - ) +import TcEnv ( tcLookup, tcLookupId, tcLookupDataCon, tcLookupField ) import TcArrows ( tcProc ) import TcMatches ( tcMatchesCase, tcMatchLambda, tcDoStmts, TcMatchCtxt(..) ) import TcHsType ( tcHsSigType, UserTypeCtxt(..) ) @@ -394,7 +392,7 @@ tcExpr expr@(RecordUpd record_expr rbinds _ _) res_ty let field_names = map fst rbinds in - mappM (tcLookupGlobalId.unLoc) field_names `thenM` \ sel_ids -> + mappM (tcLookupField . unLoc) field_names `thenM` \ sel_ids -> -- The renamer has already checked that they -- are all in scope let