X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=b255fdbc75a348646a3923207409222ad7cd29c7;hb=3d638f1b7b665c0e67e4e20827ad98cf307ff381;hp=51d6f4b6032601e357acd038cc46768baef87252;hpb=05dce654a3c65e1c7a68ca55f990eed8bd3ec700;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index 51d6f4b..b255fdb 100644
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -1069,6 +1069,9 @@ lookupFun orig id_name
 	    	-- nor does it need the 'lifting' treatment
 
     	    ATcId { tct_id = id, tct_type = ty, tct_co = mb_co, tct_level = lvl }
+	    	| isNaughtyRecordSelector id -> failWithTc (naughtyRecordSel id)
+		  			  -- Note [Local record selectors]
+		| otherwise
 		-> do { thLocalId orig id ty lvl
 		      ; case mb_co of
 			  Unrefineable    -> return (HsVar id, ty)
@@ -1147,6 +1150,12 @@ thBrackId orig id ps_var lie_var
 #endif /* GHCI */
 \end{code}
 
+Local record selectors
+~~~~~~~~~~~~~~~~~~~~~~
+Record selectors for TyCons in this module are ordinary local bindings,
+which show up as ATcIds rather than AGlobals.  So we need to check for
+naughtiness in both branches.  c.f. TcTyClsBindings.mkAuxBinds.
+
 
 %************************************************************************
 %*									*