diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2018-04-14 13:57:27 +0200 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2018-04-14 13:57:27 +0200 |
commit | 7c879d9b0fada910bf6afc0a64d327f318a829de (patch) | |
tree | a1ec3742f58dea57250783ca70becef50ea2f896 /lib/pure | |
parent | c6f15c53f458ec0138d006edcaca349281fda753 (diff) | |
download | Nim-7c879d9b0fada910bf6afc0a64d327f318a829de.tar.gz |
explicit effects for existsOrCreateDir
Diffstat (limited to 'lib/pure')
-rw-r--r-- | lib/pure/os.nim | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/pure/os.nim b/lib/pure/os.nim index c06a9bd79..a77bee99d 100644 --- a/lib/pure/os.nim +++ b/lib/pure/os.nim @@ -925,7 +925,8 @@ proc rawCreateDir(dir: string): bool = else: raiseOSError(osLastError()) -proc existsOrCreateDir*(dir: string): bool = +proc existsOrCreateDir*(dir: string): bool {.rtl, extern: "nos$1", + tags: [WriteDirEffect, ReadDirEffect].} = ## Check if a `directory`:idx: `dir` exists, and create it otherwise. ## ## Does not create parent directories (fails if parent does not exist). |