Commit 71dadd71 authored by Edward Z. Yang's avatar Edward Z. Yang

Extra docs on exports_from_avail.

Signed-off-by: default avatarEdward Z. Yang <>
parent d2df718c
......@@ -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])
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