Searched refs:mi_semantic_module (Results 1 – 9 of 9) sorted by relevance
19 , mi_semantic_module269 mi_semantic_module :: ModIface_ a -> Module270 mi_semantic_module iface = case mi_sig_of iface of function
448 initIfaceLcl (mi_semantic_module iface) loc_doc (mi_boot iface) $ do617 mi_semantic_module iface /= mi_module iface &&
711 semantic_mod = mi_semantic_module iface01368 case inner_mod == mi_semantic_module iface of
155 = initIfaceLcl (mi_semantic_module iface) (text "typecheckIface") (mi_boot iface) $ do415 initIfaceLclWithSubst (mi_semantic_module iface)
92 mi_semantic_module,1091 mi_semantic_module :: ModIface_ a -> Module1092 mi_semantic_module iface = case mi_sig_of iface of function
91 mi_semantic_module,1130 mi_semantic_module :: ModIface_ a -> Module1131 mi_semantic_module iface = case mi_sig_of iface of function
190 sh_if_semantic_module = rn_mod (mi_semantic_module iface),
399 imp_sem_mod= mi_semantic_module iface