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

sequences: use check-length to force integer partial dispatch in iteration.

db4
John Benediktsson 2015-07-17 13:59:33 -07:00
parent 9c4b3e7e43
commit 743928ae7d
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
core/sequences/sequences.factor
View File

@ -276,6 +276,7 @@ INSTANCE: repetition immutable-sequence
ERROR: integer-length-expected obj ;
#! The check-length call forces partial dispatch
: check-length ( n -- n )
dup integer? [ integer-length-expected ] unless ; inline
@ -308,7 +309,6 @@ C: <copy> copy-state
[ swap length + ] dip lengthen ; inline
: copy-unsafe ( src i dst -- )
#! The check-length call forces partial dispatch
[ [ length check-length 0 ] keep ] 2dip <copy> (copy) drop ; inline
: subseq-unsafe ( from to seq -- subseq )
@ -381,7 +381,7 @@ PRIVATE>
<PRIVATE
: ((each)) ( seq -- n quot )
[ length ] keep [ nth-unsafe ] curry ; inline
[ length check-length ] keep [ nth-unsafe ] curry ; inline
: (each) ( seq quot -- n quot' )
[ ((each)) ] dip compose ; inline
@ -402,7 +402,7 @@ PRIVATE>
[ nth-unsafe ] bi-curry@ bi ; inline
: ((2each)) ( seq1 seq2 -- n quot )
[ min-length ] 2keep [ 2nth-unsafe ] 2curry ; inline
[ min-length check-length ] 2keep [ 2nth-unsafe ] 2curry ; inline
: (2each) ( seq1 seq2 quot -- n quot' )
[ ((2each)) ] dip compose ; inline
@ -412,7 +412,7 @@ PRIVATE>
: (3each) ( seq1 seq2 seq3 quot -- n quot' )
[
[ [ length ] tri@ min min ]
[ [ length ] tri@ min min check-length ]
[ [ 3nth-unsafe ] 3curry ] 3bi
] dip compose ; inline