Extra docs on exports_from_avail.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Tue, 28 Mar 2017 17:20:19 +0000 (10:20 -0700)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Sun, 2 Apr 2017 23:43:46 +0000 (16:43 -0700)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
compiler/typecheck/TcRnExports.hs

index 35e30a7..3c0b8d3 100644 (file)
@@ -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])