Commit f281a9c9 authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Comments on ghcOptInstantiatedWith.

Signed-off-by: default avatarEdward Z. Yang <>
parent 34b8afa4
......@@ -90,6 +90,10 @@ data GhcOptions = GhcOptions {
-- is. This only gets set when 'ghcOptInstantiatedWith' is non-empty
ghcOptThisComponentId :: Flag ComponentId,
-- | How the requirements of the package being compiled are to
-- be filled. When typechecking an indefinite package, the 'OpenModule'
-- is always a 'OpenModuleVar'; otherwise, it specifies the installed module
-- that instantiates a package.
ghcOptInstantiatedWith :: [(ModuleName, OpenModule)],
-- | No code? (But we turn on interface writing
Supports Markdown
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