steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

globs: use path-separator? to allow windows to split on /.

locals-and-roots
John Benediktsson 2016-03-28 06:38:05 -07:00
parent 0bb00921d9
commit 367c565ba1
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
basis/globs/globs.factor
View File

@ -51,6 +51,11 @@ Main = Concatenation End
<PRIVATE <PRIVATE
! TODO: simplify
! TODO: handle two more test cases
! TODO: make case-fold an option, off by default
! TODO: maybe make case-fold an option on regexp
DEFER: glob-directory% DEFER: glob-directory%
: ?glob-directory% ( root remaining entry -- ) : ?glob-directory% ( root remaining entry -- )
@ -129,7 +134,7 @@ DEFER: glob-directory%
over glob-pattern? over glob-pattern?
] [ ] [
[ [
path-separator first over last-index dup [ path-separator? ] find-last drop
[ cut rest ] [ "" swap ] if* [ cut rest ] [ "" swap ] if*
] dip swap prefix ] dip swap prefix
] while ; ] while ;