diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2021-09-02 12:10:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-02 12:10:14 +0200 |
| commit | e0ef859130f429df1891e31a85955daa753346b4 (patch) | |
| tree | 49c680c4e93a321a319e38168dd14483c2a9b71e /lib/std/private | |
| parent | 72fa5833adac590e3c78e2b774cd33f28827594b (diff) | |
| download | Nim-e0ef859130f429df1891e31a85955daa753346b4.tar.gz | |
strict effects (#18777)
* fixes #17369 * megatest is green for --cpu:arm64 * docgen output includes more tags/raises * implemented 'effectsOf' * algorithm.nim: uses new effectsOf annotation * closes #18376 * closes #17475 * closes #13905 * allow effectsOf: [a, b] * added a test case * parameters that are not ours cannot be declared as .effectsOf * documentation * manual: added the 'sort' example * bootstrap with the new better options
Diffstat (limited to 'lib/std/private')
| -rw-r--r-- | lib/std/private/globs.nim | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/std/private/globs.nim b/lib/std/private/globs.nim index b3726c9c3..190316f93 100644 --- a/lib/std/private/globs.nim +++ b/lib/std/private/globs.nim @@ -8,13 +8,18 @@ import os when defined(windows): from strutils import replace +when defined(nimHasEffectsOf): + {.experimental: "strictEffects".} +else: + {.pragma: effectsOf.} + type PathEntry* = object kind*: PathComponent path*: string iterator walkDirRecFilter*(dir: string, follow: proc(entry: PathEntry): bool = nil, - relative = false, checkDir = true): PathEntry {.tags: [ReadDirEffect].} = + relative = false, checkDir = true): PathEntry {.tags: [ReadDirEffect], effectsOf: follow.} = ## Improved `os.walkDirRec`. #[ note: a yieldFilter isn't needed because caller can filter at call site, without |