@@ -63,10 +63,10 @@ buildPkg warnonly (install, fp)
6363 -- Also give up if there are metavariables to solve
6464 case (map fst (idris_metavars ist) \\ primDefs) of
6565 _ -> when install $ installPkg pkgdesc
66−-- ms -> do if install
66+-- ms -> do if install
6767-- then putStrLn "Can't install: there are undefined metavariables:"
6868-- else putStrLn "There are undefined metavariables:"
69−-- putStrLn $ "\t" ++ show ms
69+-- putStrLn $ "\t" ++ show ms
7070-- exitWith (ExitFailure 1)
7171
7272-- | Type check packages only
@@ -107,7 +107,7 @@ replPkg fp = do orig <- getIState
107107 runIO $ setCurrentDirectory $ dir </> sourcedir pkgdesc
108108
109109 if (f /= "")
110− then idrisMain ((Filename f) : opts)
110+ then idrisMain ((Filename f) : opts)
111111 else iputStrLn "Can't start REPL: no main module given"
112112 runIO $ setCurrentDirectory dir
113113
@@ -129,6 +129,9 @@ cleanPkg fp
129129-- | Generate IdrisDoc for package
130130-- TODO: Handle case where module does not contain a matching namespace
131131-- E.g. from prelude.ipkg: IO, Prelude.Chars, Builtins
132+--
133+-- Issue number #1572 on the issue tracker
134+-- https://github.com/idris-lang/Idris-dev/issues/1572
132135documentPkg :: FilePath -- ^ Path to .ipkg file.
133136 -> IO ()
134137documentPkg fp =
@@ -143,7 +146,7 @@ documentPkg fp =
143146 make (makefile pkgdesc)
144147 setCurrentDirectory $ pkgDir
145148 let run l = runErrorT . (execStateT l)
146− load [] = return ()
149+ load [] = return ()
147150 load (f:fs) = do loadModule f; load fs
148151 loader = do idrisMain opts; load fs
149152 idrisInstance <- run loader idrisInit