-tcModule :: RnEnv -- for renaming derivings
- -> RenamedHsModule -- input
- -> TcM s TcResults -- output
-
-tcModule rn_env
- (HsModule mod_name verion exports imports fixities
- ty_decls specdata_sigs cls_decls inst_decls specinst_sigs
- default_decls val_decls sigs src_loc)
-
- = ASSERT(null imports)
-
- tcAddSrcLoc src_loc $ -- record where we're starting
-
- -- Tie the knot for inteface-file value declaration signatures
- -- This info is only used inside the knot for type-checking the
- -- pragmas, which is done lazily [ie failure just drops the pragma
- -- without having any global-failure effect].
-
- fixTc (\ ~(_, _, _, _, _, _, sig_ids) ->
- tcExtendGlobalValEnv sig_ids (
-
- -- The knot for instance information. This isn't used at all
- -- till we type-check value declarations
- fixTc ( \ ~(rec_inst_mapper, _, _, _, _, _) ->
-
- -- Type-check the type and class decls
- --trace "tcTyAndClassDecls:" $
- tcTyAndClassDecls1 rec_inst_mapper ty_decls_bag cls_decls_bag
- `thenTc` \ (env, record_binds) ->
-
- -- Typecheck the instance decls, includes deriving
- tcSetEnv env (
- --trace "tcInstDecls:" $
- tcInstDecls1 inst_decls_bag specinst_sigs
- mod_name rn_env fixities
- ) `thenTc` \ (inst_info, deriv_binds, ddump_deriv) ->
-
- buildInstanceEnvs inst_info `thenTc` \ inst_mapper ->
-
- returnTc (inst_mapper, env, record_binds, inst_info, deriv_binds, ddump_deriv)
-
- ) `thenTc` \ (_, env, record_binds, inst_info, deriv_binds, ddump_deriv) ->
- tcSetEnv env (
-
- -- Default declarations
- tcDefaults default_decls `thenTc` \ defaulting_tys ->
- tcSetDefaultTys defaulting_tys ( -- for the iface sigs...
-
- -- Interface type signatures
- -- We tie a knot so that the Ids read out of interfaces are in scope
- -- when we read their pragmas.
- -- What we rely on is that pragmas are typechecked lazily; if
- -- any type errors are found (ie there's an inconsistency)
- -- we silently discard the pragma
- tcInterfaceSigs sigs `thenTc` \ sig_ids ->
-
- returnTc (env, inst_info, record_binds, deriv_binds, ddump_deriv, defaulting_tys, sig_ids)
-
- )))) `thenTc` \ (env, inst_info, record_binds, deriv_binds, ddump_deriv, defaulting_tys, _) ->
-
- tcSetEnv env ( -- to the end...
- tcSetDefaultTys defaulting_tys ( -- ditto
-
+tcModule :: PersistentCompilerState
+ -> HomeSymbolTable
+ -> (Name -> Maybe Fixity)
+ -> Module
+ -> [RenamedHsDecl]
+ -> TcM (PersistentCompilerState, TcResults)
+
+tcModule pcs hst get_fixity this_mod decls
+ = -- Type-check the type and class decls, and all imported decls
+ tcImports pcs hst get_fixity this_mod decls `thenTc` \ (env, new_pcs, local_inst_info, deriv_binds, local_rules) ->
+
+ tcSetEnv env $
+
+ -- Foreign import declarations next
+-- traceTc (text "Tc4") `thenNF_Tc_`
+ tcForeignImports decls `thenTc` \ (fo_ids, foi_decls) ->
+ tcExtendGlobalValEnv fo_ids $
+
+ -- Default declarations
+ tcDefaults decls `thenTc` \ defaulting_tys ->
+ tcSetDefaultTys defaulting_tys $
+