globs: simpler separator regexp.
parent
9f0bce7622
commit
31f309a829
|
@ -7,10 +7,10 @@ unicode multiline ;
|
||||||
IN: globs
|
IN: globs
|
||||||
|
|
||||||
: not-path-separator ( -- sep )
|
: not-path-separator ( -- sep )
|
||||||
os windows? R/ [^\\/\\]/ R/ [^\\/]/ ? ; foldable
|
os windows? R/ [^\\/]/ R/ [^/]/ ? ; foldable
|
||||||
|
|
||||||
: wild-path-separator ( -- sep )
|
: wild-path-separator ( -- sep )
|
||||||
os windows? R/ [^\\/\\][\\/\\]|[^\\/\\]/ R/ [^\\/][\\/]|[^\\/]/ ? ; foldable
|
os windows? R/ [^\\/][\\/]|[^\\/]/ R/ [^/][/]|[^/]/ ? ; foldable
|
||||||
|
|
||||||
EBNF: <glob> [=[
|
EBNF: <glob> [=[
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue