X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSplice.lhs;fp=compiler%2Ftypecheck%2FTcSplice.lhs;h=cb4043e239e4da96a259c99fdbba8925730d8aa6;hp=0d7ba6ab916d560b9ad7f411d8ca02f71d70211f;hb=25f0bf0245a59268fbfa8dc4ee4986b65c79ed16;hpb=ada3dd2248d0308819fa9d3290f79a2a0d372db9 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}