Commit 8b2b2fba authored by Michael Hanus 's avatar Michael Hanus

curry check not called if there are no modules to check

parent 84bdb14a
......@@ -549,10 +549,13 @@ check opts cfg repo gc =
\localSpec -> do
mainprogs <- curryFilesInDir (specDir </> "src")
let (showexp,showmods) = modules localSpec mainprogs
putStrLn $ "Checking " ++ showexp ++ "modules: " ++ showmods
putStrLn "(with CurryCheck, raw output is shown)\n"
exec (ExecOptions $ installDir </> "bin" </> "curry check " ++ showmods)
cfg repo gc
if null showmods
then putStrLn "No modules to be checked!" >> succeedIO ()
else do
putStrLn $ "Checking " ++ showexp ++ "modules: " ++ showmods
putStrLn "(with CurryCheck, raw output is shown)\n"
exec (ExecOptions $ installDir </> "bin" </> "curry check " ++ showmods)
cfg repo gc
where
modules spec mainprogs = case checkModules opts of
Nothing -> let exports = exportedModules spec
......
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