summaryrefslogtreecommitdiff
path: root/src/full/Agda/Compiler/Common.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Compiler/Common.hs')
-rw-r--r--src/full/Agda/Compiler/Common.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/full/Agda/Compiler/Common.hs b/src/full/Agda/Compiler/Common.hs
index cadeac7..b01b5f4 100644
--- a/src/full/Agda/Compiler/Common.hs
+++ b/src/full/Agda/Compiler/Common.hs
@@ -44,7 +44,7 @@ import Agda.Utils.Pretty
import Agda.Utils.Impossible
data IsMain = IsMain | NotMain
- deriving (Eq)
+ deriving (Eq, Show)
doCompile :: IsMain -> Interface -> (IsMain -> Interface -> TCM ()) -> TCM ()
doCompile isMain i f = do
@@ -65,7 +65,7 @@ doCompile isMain i f = do
mapM (getVisitedModule . toTopLevelModuleName . fst) (iImportedModules i)
mapM_ (comp NotMain) imps
lift $ setInterface i
- lift $ f NotMain i
+ lift $ f isMain i
modify (Set.insert $ iModuleName i)
setInterface :: Interface -> TCM ()