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

gpu.shaders: '[ empty? not ] filter' is 'harvest'

db4
Slava Pestov 2009-10-23 07:02:11 -05:00
parent 1e13f94e9f
commit 00cef34d74
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
extra/gpu/shaders/shaders.factor
View File

@ -277,7 +277,7 @@ padding-no [ 0 ] initialize
] [ nip ] if ":" join ; ] [ nip ] if ":" join ;
: replace-log-line-numbers ( object log -- log' ) : replace-log-line-numbers ( object log -- log' )
"\n" split [ empty? not ] filter "\n" split harvest
[ replace-log-line-number ] with map [ replace-log-line-number ] with map
"\n" join ; "\n" join ;