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

Internal errors when install fails

Browse Source
This commit is contained in:
Edwin Brady 2020-05-18 17:15:10 +01:00
parent d2b652add5
commit 557de91c5a
2 changed files with 30 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
bootstrap/idris2sh_app/idris2sh.ss
View File

File diff suppressed because one or more lines are too long

4
src/Idris/Package.idr
View File

@ -303,10 +303,10 @@ installFrom pname builddir destdir ns@(m :: dns)
let destPath = destdir ++ dirSep ++ showSep dirSep (reverse dns)
let destFile = destdir ++ dirSep ++ ttcfile ++ ".ttc"
Right _ <- coreLift $ mkdirs (reverse dns)
| Left err => throw (FileErr pname err)
| Left err => throw (InternalError ("Can't make directories " ++ show (reverse dns)))
coreLift $ putStrLn $ "Installing " ++ ttcPath ++ " to " ++ destPath
Right _ <- coreLift $ copyFile ttcPath destFile
| Left err => throw (FileErr pname err)
| Left err => throw (InternalError ("Can't copy file " ++ ttcPath ++ " to " ++ destPath))
pure ()
-- Install all the built modules in prefix/package/