mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-06-23 03:54:12 +02:00
e9b8c501d6
* module/system/base/Makefile.am: Add pmatch.scm. * module/system/base/pmatch.scm: New file, taken from Dan Friedman's alpha-kanren paper. Implements a less magical match syntax, pmatch. * module/system/vm/assemble.scm: No more need for (ice-9 match). * module/system/vm/conv.scm (code-pack, code->object): Change to use pmatch.
42 lines
1.4 KiB
Scheme
42 lines
1.4 KiB
Scheme
(define-module (system base pmatch)
|
||
#:use-syntax (ice-9 syncase)
|
||
#:export-syntax (pmatch ppat))
|
||
;; FIXME: shouldn't have to export ppat...
|
||
|
||
;; Originally written by Oleg Kiselyov. Taken from:
|
||
;; αKanren: A Fresh Name in Nominal Logic Programming
|
||
;; by William E. Byrd and Daniel P. Friedman
|
||
;; Proceedings of the 2007 Workshop on Scheme and Functional Programming
|
||
;; Université Laval Technical Report DIUL-RT-0701
|
||
|
||
;; Licensing unclear. Probably need to ask Oleg for a disclaimer.
|
||
|
||
(define-syntax pmatch
|
||
(syntax-rules (else guard)
|
||
((_ (op arg ...) cs ...)
|
||
(let ((v (op arg ...)))
|
||
(pmatch v cs ...)))
|
||
((_ v) (if #f #f))
|
||
((_ v (else e0 e ...)) (begin e0 e ...))
|
||
((_ v (pat (guard g ...) e0 e ...) cs ...)
|
||
(let ((fk (lambda () (pmatch v cs ...))))
|
||
(ppat v pat
|
||
(if (and g ...) (begin e0 e ...) (fk))
|
||
(fk))))
|
||
((_ v (pat e0 e ...) cs ...)
|
||
(let ((fk (lambda () (pmatch v cs ...))))
|
||
(ppat v pat (begin e0 e ...) (fk))))))
|
||
|
||
(define-syntax ppat
|
||
(syntax-rules (quote unquote)
|
||
((_ v kt kf) kt)
|
||
((_ v () kt kf) (if (null? v ) kt kf))
|
||
(( v (quote lit) kt kf)
|
||
(if (equal? v (quote lit)) kt kf))
|
||
((_ v (unquote var) kt kf) (let ((var v )) kt))
|
||
((_ v (x . y) kt kf)
|
||
(if (pair? v )
|
||
(let ((vx (car v)) (vy (cdr v)))
|
||
(ppat vx x (ppat vy y kt kf) kf))
|
||
kf))
|
||
((_ v lit kt kf) (if (equal? v (quote lit)) kt kf))))
|