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

Fix build given new case elaboration rule

Browse Source 
Actually this was an error in Core.Directory, so the change has caught
it! Always nice to see that happen on making an improvement...
This commit is contained in:
Edwin Brady 2020-06-08 01:14:06 +01:00
parent 1057cb9314
commit 0f27042b32
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Core/Directory.idr
View File

@ -113,9 +113,10 @@ mkdirAll dir = if parse dir == emptyPath
else do exist <- dirExists dir
if exist
then pure (Right ())
else do case parent dir of
else do Right () <- case parent dir of
Just parent => mkdirAll parent
Nothing => pure (Right ())
| err => pure err
createDir dir
-- Given a namespace (i.e. a module name), make the build directory for the