-tcIfaceRules :: [RenamedRuleDecl] -> TcM [TypecheckedRuleDecl]
-tcIfaceRules decls = mapTc tcIfaceRule decls
-
-tcIfaceRule :: RenamedRuleDecl -> TcM TypecheckedRuleDecl
- -- No zonking necessary!
-tcIfaceRule (IfaceRule name act vars fun args rhs src_loc)
- = tcAddSrcLoc src_loc $
- tcAddErrCtxt (ruleCtxt name) $
- tcVar fun `thenTc` \ fun' ->
- tcCoreLamBndrs vars $ \ vars' ->
- mapTc tcCoreExpr args `thenTc` \ args' ->
- tcCoreExpr rhs `thenTc` \ rhs' ->
- returnTc (IfaceRuleOut fun' (Rule name act vars' args' rhs'))
-
-tcIfaceRule (IfaceRuleOut fun rule) -- Built-in rules come this way
- = tcVar fun `thenTc` \ fun' ->
- returnTc (IfaceRuleOut fun' rule)
-
-tcSourceRules :: [RenamedRuleDecl] -> TcM (LIE, [TypecheckedRuleDecl])
-tcSourceRules decls
- = mapAndUnzipTc tcSourceRule decls `thenTc` \ (lies, decls') ->
- returnTc (plusLIEs lies, decls')
-
-tcSourceRule (IfaceRuleOut fun rule) -- Built-in rules come this way
- -- if they are from the module being compiled
- = tcLookupId fun `thenTc` \ fun' ->
- returnTc (emptyLIE, IfaceRuleOut fun' rule)
-
-tcSourceRule (HsRule name act vars lhs rhs src_loc)
- = tcAddSrcLoc src_loc $
- tcAddErrCtxt (ruleCtxt name) $
- newTyVarTy openTypeKind `thenNF_Tc` \ rule_ty ->