diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-28 10:20:19 -0700 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-04-02 16:43:46 -0700 |
| commit | 71dadd71e7bb397a05b45c45d679139b08f76598 (patch) | |
| tree | cb592a63539d1cc0b224991154c7fa7e53a81222 /compiler/typecheck/TcRnExports.hs | |
| parent | d2df718cfb9d55faafccf660e06c844418ed642b (diff) | |
| download | haskell-71dadd71e7bb397a05b45c45d679139b08f76598.tar.gz | |
Extra docs on exports_from_avail.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Diffstat (limited to 'compiler/typecheck/TcRnExports.hs')
| -rw-r--r-- | compiler/typecheck/TcRnExports.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/typecheck/TcRnExports.hs b/compiler/typecheck/TcRnExports.hs index 35e30a797d..3c0b8d3a58 100644 --- a/compiler/typecheck/TcRnExports.hs +++ b/compiler/typecheck/TcRnExports.hs @@ -164,6 +164,9 @@ exports_from_avail :: Maybe (Located [LIE RdrName]) -- Nothing => no explicit export list -> GlobalRdrEnv -> ImportAvails + -- Imported modules; this is used to test if a + -- 'module Foo' export is valid (it's not valid + -- if we didn't import Foo!) -> Module -> RnM (Maybe [LIE Name], [AvailInfo]) |