Commit e7da4840 authored by krasimir's avatar krasimir
Browse files

[project @ 2005-04-20 13:50:04 by krasimir]

modInfoExports, TypecheckedSource and ParsedSource are exported.
Added modInfoPrintUnqualified function.
parent 44eaf25c
......@@ -36,6 +36,7 @@ module GHC (
loadMsgs,
workingDirectoryChanged,
checkModule, CheckedModule(..),
TypecheckedSource, ParsedSource,
-- * Inspecting the module structure of the program
ModuleGraph, ModSummary(..),
......@@ -48,6 +49,8 @@ module GHC (
getModuleInfo,
modInfoTyThings,
modInfoTopLevelScope,
modInfoPrintUnqualified,
modInfoExports,
lookupName,
-- * Interactive evaluation
......@@ -1558,6 +1561,9 @@ modInfoTopLevelScope minf
modInfoExports :: ModuleInfo -> [Name]
modInfoExports minf = nameSetToList $! (md_exports $! minf_details minf)
modInfoPrintUnqualified :: ModuleInfo -> Maybe PrintUnqualified
modInfoPrintUnqualified minf = fmap unQualInScope (minf_rdr_env minf)
isDictonaryId :: Id -> Bool
isDictonaryId id
= case tcSplitSigmaTy (idType id) of { (tvs, theta, tau) -> isDictTy tau }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment