From: Matthew Willis <matthew.willis@mac.com>
Date: Wed, 12 Mar 2008 09:11:03 +0000 (-0700)
Subject: Implement sequence matching in extra/match.
X-Git-Tag: 0.94~3753^2~6
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=f50821af6e14025dcd049601645dfaf17a62e014

Implement sequence matching in extra/match.
---

diff --git a/extra/match/match.factor b/extra/match/match.factor
index 722c330a32..36af5c990a 100755
--- a/extra/match/match.factor
+++ b/extra/match/match.factor
@@ -65,3 +65,26 @@ MACRO: match-cond ( assoc -- )
     -rot
     match [ "Pattern does not match" throw ] unless*
     [ replace-patterns ] bind ;
+
+: ?1-tail ( seq -- tail/f )
+    dup length zero? not [ 1 tail ] [ drop f ] if ;
+
+: (match-first) ( seq pattern-seq -- bindings leftover/f )
+    2dup [ length ] 2apply < [ 2drop f f ]
+    [
+        2dup length head over match
+        [ nip swap ?1-tail ] [ >r 1 tail r> (match-first) ] if*
+    ] if ;
+    
+: match-first ( seq pattern-seq -- bindings )
+    (match-first) drop ;
+
+: (match-all) ( seq pattern-seq -- )
+    tuck (match-first) swap 
+    [ 
+        , [ swap (match-all) ] [ drop ] if* 
+    ] [ 2drop ] if* ;
+
+: match-all ( seq pattern-seq -- bindings-seq )
+    [ (match-all) ] { } make ;
+