summaryrefslogtreecommitdiff
path: root/src/full/Agda/Compiler/Epic/Compiler.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Compiler/Epic/Compiler.hs')
-rw-r--r--src/full/Agda/Compiler/Epic/Compiler.hs5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/full/Agda/Compiler/Epic/Compiler.hs b/src/full/Agda/Compiler/Epic/Compiler.hs
index bbf5d1e..a83fb2d 100644
--- a/src/full/Agda/Compiler/Epic/Compiler.hs
+++ b/src/full/Agda/Compiler/Epic/Compiler.hs
@@ -125,13 +125,13 @@ compileModule i = do
uptodate <- liftIO $ isNewerThan eifFile ifile
(eif, imps') <- case uptodate of
True -> do
- lift $ reportSLn "" 1 $
+ lift $ reportSLn "compile.epic" 2 $
(prettyShow . iModuleName) i ++ " : no compilation is needed."
eif <- readEInterface eifFile
modify $ \s -> s { curModule = eif }
return (eif, Set.insert file imps)
False -> do
- lift $ reportSLn "" 1 $
+ lift $ reportSLn "compile.epic" 1 $
"Compiling: " ++ (prettyShow . iModuleName) i
resetNameSupply
initialAnalysis i
@@ -182,6 +182,7 @@ initialAnalysis inter = do
case defEpicDef def of
Nothing -> putDelayed q True
_ -> return ()
+ AbstractDefn -> __IMPOSSIBLE__
_ -> return ()
idPrint :: String -> (a -> Compile TCM b) -> a -> Compile TCM b