idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 04:33:45 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #12 from ska80/silence-package-clean

Browse Source 
Silence 'idris2 --clean idris2.ipkg' errors
This commit is contained in:
Edwin Brady 2020-05-20 13:25:49 +01:00 committed by GitHub
commit 8c4727d308
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Idris/Package.idr
View File

@ -384,7 +384,7 @@ clean pkg
let build = build_dir (dirs (options defs))
let exec = exec_dir (dirs (options defs))
runScript (preclean pkg)
let pkgmods = maybe
let pkgmods = maybe
(map fst (modules pkg))
(\m => fst m :: map fst (modules pkg))
(mainmod pkg)
@ -413,7 +413,7 @@ clean pkg
where
delete : String -> Core ()
delete path = do Right () <- coreLift $ fileRemove path
| Left err => throw (FileErr (name pkg) err)
| Left err => pure ()
coreLift $ putStrLn $ "Removed: " ++ path
deleteFolder : String -> List String -> Core ()