diff options
Diffstat (limited to 'match.csc')
| -rw-r--r-- | match.csc | 38 |
1 files changed, 20 insertions, 18 deletions
@@ -1,5 +1,5 @@ (define-library (csc match) - (export match) + (export match matches?) (import (scheme base)) (begin @@ -7,34 +7,36 @@ (define-syntax matches? (syntax-rules (! _) ((matches? x _) #t) - ((matches? x (! bind)) #t) + ((matches? x (! lit)) + (eqv? x lit)) + ((matches? x '()) + (null? x)) ((matches? x (pattern)) (and (= 1 (length x)) - (matches? (car x) pat))) - ((matches? x (pattern pattern1 pattern2 ...)) + (matches? (car x) pattern))) + ((matches? x (pattern1 . pattern2)) (and (pair? x) - (matches? (car x) pattern) - (matches? (cdr x) (pattern1 pattern2 ...)))) - ((matches? x lit) - (eqv? lit x)))) + (matches? (car x) pattern1) + (matches? (cdr x) pattern2))) + ((matches? x bind) #t))) (define-syntax bind-pattern (syntax-rules (! _) - ((bind-pattern x '() result1 result2 ...) - (begin result1 result2 ...)) ((bind-pattern x _ result1 result2 ...) (begin result1 result2 ...)) - ((bind-pattern x (! bind) result1 result2 ...) - (let ((bind x)) - result1 result2 ...)) + ((bind-pattern x (! lit) result1 result2 ...) + (begin result1 result2 ...)) + ((bind-pattern x '() result1 result2 ...) + (begin result1 result2 ...)) ((bind-pattern x (pattern) result1 result2 ...) (bind-pattern (car x) pattern result1 result2 ...)) - ((bind-pattern x (pattern pattern1 pattern2 ...) result1 result2 ...) - (bind-pattern (car x) pattern - (bind-pattern (cdr x) (pattern1 pattern2 ...) result1 result2 ...))) - ((bind-pattern x lit result1 result2 ...) - (begin result1 result2 ...)))) + ((bind-pattern x (pattern1 . pattern2) result1 result2 ...) + (bind-pattern (car x) pattern1 + (bind-pattern (cdr x) pattern2 result1 result2 ...))) + ((bind-pattern x bind result1 result2 ...) + (let ((bind x)) + result1 result2 ...)))) (define-syntax match |