]> gitweb.factorcode.org Git - factor.git/commitdiff
globs: simpler separator regexp.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 17 Mar 2019 20:13:27 +0000 (13:13 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 17 Mar 2019 20:14:28 +0000 (13:14 -0700)
basis/globs/globs.factor

index 3a540e2b23aaf52510b789752864c116c6ae4fd7..0cb96949107094ea1f2cb68c1c1740bd8abd5504 100644 (file)
@@ -7,10 +7,10 @@ unicode multiline ;
 IN: globs
 
 : not-path-separator ( -- sep )
-    os windows? R/ [^\\/\\]/ R/ [^\\/]/ ? ; foldable
+    os windows? R/ [^\\/]/ R/ [^/]/ ? ; foldable
 
 : wild-path-separator ( -- sep )
-    os windows? R/ [^\\/\\][\\/\\]|[^\\/\\]/ R/ [^\\/][\\/]|[^\\/]/ ? ; foldable
+    os windows? R/ [^\\/][\\/]|[^\\/]/ R/ [^/][/]|[^/]/ ? ; foldable
 
 EBNF: <glob> [=[