From 25f0bf0245a59268fbfa8dc4ee4986b65c79ed16 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Wed, 24 Nov 2010 23:15:14 +0000 Subject: [PATCH] Don't mix implicit and explicit layout --- compiler/rename/RnEnv.lhs | 6 +++--- compiler/typecheck/TcSplice.lhs | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/compiler/rename/RnEnv.lhs b/compiler/rename/RnEnv.lhs index f112915..825ed19 100644 --- a/compiler/rename/RnEnv.lhs +++ b/compiler/rename/RnEnv.lhs @@ -552,8 +552,8 @@ lookupBindGroupOcc :: Maybe NameSet -- See notes on the (Maybe NameSet) -- See Note [Looking up signature names] lookupBindGroupOcc mb_bound_names what rdr_name = do { local_env <- getLocalRdrEnv - ; case lookupLocalRdrEnv local_env rdr_name of - Just n -> check_local_name n + ; case lookupLocalRdrEnv local_env rdr_name of { + Just n -> check_local_name n; Nothing -> do -- Not defined in a nested scope { env <- getGlobalRdrEnv @@ -565,7 +565,7 @@ lookupBindGroupOcc mb_bound_names what rdr_name -- as a duplicate top-level binding for 'f' [] | null gres -> bale_out_with empty | otherwise -> bale_out_with import_msg - }} + }}} where check_local_name name -- The name is in scope, and not imported = case mb_bound_names of diff --git a/compiler/typecheck/TcSplice.lhs b/compiler/typecheck/TcSplice.lhs index 0d7ba6a..cb4043e 100644 --- a/compiler/typecheck/TcSplice.lhs +++ b/compiler/typecheck/TcSplice.lhs @@ -943,8 +943,8 @@ illegalBracket = ptext (sLit "Template Haskell brackets cannot be nested (withou lookupClassInstances :: TH.Name -> [TH.Type] -> TcM [TH.Name] lookupClassInstances c ts = do { loc <- getSrcSpanM - ; case convertToHsPred loc (TH.ClassP c ts) of - Left msg -> failWithTc msg + ; case convertToHsPred loc (TH.ClassP c ts) of { + Left msg -> failWithTc msg; Right rdr_pred -> do { rn_pred <- rnLPred doc rdr_pred -- Rename ; kc_pred <- kcHsLPred rn_pred -- Kind check @@ -954,7 +954,7 @@ lookupClassInstances c ts ; inst_envs <- tcGetInstEnvs ; let (matches, unifies) = lookupInstEnv inst_envs cls tys dfuns = map is_dfun (map fst matches ++ unifies) - ; return (map reifyName dfuns) } } + ; return (map reifyName dfuns) } } } where doc = ptext (sLit "TcSplice.classInstances") \end{code} -- 1.7.10.4