@@ -63,10 +63,10 @@ buildPkg warnonly (install, fp)
63 -- Also give up if there are metavariables to solve
63 -- Also give up if there are metavariables to solve
64 case (map fst (idris_metavars ist) \\ primDefs) of
64 case (map fst (idris_metavars ist) \\ primDefs) of
65 _ -> when install $ installPkg pkgdesc
65 _ -> when install $ installPkg pkgdesc
66−-- ms -> do if install
66+-- ms -> do if install
67-- then putStrLn "Can't install: there are undefined metavariables:"
67-- then putStrLn "Can't install: there are undefined metavariables:"
68-- else putStrLn "There are undefined metavariables:"
68-- else putStrLn "There are undefined metavariables:"
69−-- putStrLn $ "\t" ++ show ms
69+-- putStrLn $ "\t" ++ show ms
70-- exitWith (ExitFailure 1)
70-- exitWith (ExitFailure 1)
72-- | Type check packages only
72-- | Type check packages only
@@ -107,7 +107,7 @@ replPkg fp = do orig <- getIState
107 runIO $ setCurrentDirectory $ dir </> sourcedir pkgdesc
107 runIO $ setCurrentDirectory $ dir </> sourcedir pkgdesc
109 if (f /= "")
109 if (f /= "")
110− then idrisMain ((Filename f) : opts)
110+ then idrisMain ((Filename f) : opts)
111 else iputStrLn "Can't start REPL: no main module given"
111 else iputStrLn "Can't start REPL: no main module given"
112 runIO $ setCurrentDirectory dir
112 runIO $ setCurrentDirectory dir
@@ -129,6 +129,9 @@ cleanPkg fp
129-- | Generate IdrisDoc for package
129-- | Generate IdrisDoc for package
130-- TODO: Handle case where module does not contain a matching namespace
130-- TODO: Handle case where module does not contain a matching namespace
131-- E.g. from prelude.ipkg: IO, Prelude.Chars, Builtins
131-- E.g. from prelude.ipkg: IO, Prelude.Chars, Builtins
133+-- Issue number #1572 on the issue tracker
134+-- https://github.com/idris-lang/Idris-dev/issues/1572
132documentPkg :: FilePath -- ^ Path to .ipkg file.
135documentPkg :: FilePath -- ^ Path to .ipkg file.
134documentPkg fp =
137documentPkg fp =
@@ -143,7 +146,7 @@ documentPkg fp =
143 make (makefile pkgdesc)
146 make (makefile pkgdesc)
144 setCurrentDirectory $ pkgDir
147 setCurrentDirectory $ pkgDir
145 let run l = runErrorT . (execStateT l)
148 let run l = runErrorT . (execStateT l)
146− load [] = return ()
149+ load [] = return ()
147 load (f:fs) = do loadModule f; load fs
150 load (f:fs) = do loadModule f; load fs
148 loader = do idrisMain opts; load fs
151 loader = do idrisMain opts; load fs
149 idrisInstance <- run loader idrisInit
152 idrisInstance <- run loader idrisInit