mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
* module/srfi/srfi-26.scm (cut, cute): Implement using `syntax-case'. The new implementation is mostly just a transcription of the old code; the reference implementation which relies only on `syntax-rules' may (or may not) be considered more elegant :-). Signed-off-by: Ludovic Courtès <ludo@gnu.org>
66 lines
2.6 KiB
Scheme
66 lines
2.6 KiB
Scheme
;;; srfi-26.scm --- specializing parameters without currying.
|
|
|
|
;; Copyright (C) 2002, 2006, 2010 Free Software Foundation, Inc.
|
|
;;
|
|
;; This library is free software; you can redistribute it and/or
|
|
;; modify it under the terms of the GNU Lesser General Public
|
|
;; License as published by the Free Software Foundation; either
|
|
;; version 3 of the License, or (at your option) any later version.
|
|
;;
|
|
;; This library is distributed in the hope that it will be useful,
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
;; Lesser General Public License for more details.
|
|
;;
|
|
;; You should have received a copy of the GNU Lesser General Public
|
|
;; License along with this library; if not, write to the Free Software
|
|
;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
(define-module (srfi srfi-26)
|
|
:export (cut cute))
|
|
|
|
(cond-expand-provide (current-module) '(srfi-26))
|
|
|
|
(define-syntax cut
|
|
(lambda (stx)
|
|
(syntax-case stx ()
|
|
((cut slot0 slot1+ ...)
|
|
(let loop ((slots #'(slot0 slot1+ ...))
|
|
(params '())
|
|
(args '()))
|
|
(if (null? slots)
|
|
#`(lambda #,(reverse params) #,(reverse args))
|
|
(let ((s (car slots))
|
|
(rest (cdr slots)))
|
|
(with-syntax (((var) (generate-temporaries '(var))))
|
|
(syntax-case s (<> <...>)
|
|
(<>
|
|
(loop rest (cons #'var params) (cons #'var args)))
|
|
(<...>
|
|
(if (pair? rest)
|
|
(error "<...> not on the end of cut expression"))
|
|
#`(lambda #,(append (reverse params) #'var)
|
|
(apply #,@(reverse (cons #'var args)))))
|
|
(else
|
|
(loop rest params (cons s args))))))))))))
|
|
|
|
(define-syntax cute
|
|
(lambda (stx)
|
|
(syntax-case stx ()
|
|
((cute slots ...)
|
|
(let loop ((slots #'(slots ...))
|
|
(bindings '())
|
|
(arguments '()))
|
|
(define (process-hole)
|
|
(loop (cdr slots) bindings (cons (car slots) arguments)))
|
|
(if (null? slots)
|
|
#`(let #,bindings
|
|
(cut #,@(reverse arguments)))
|
|
(syntax-case (car slots) (<> <...>)
|
|
(<> (process-hole))
|
|
(<...> (process-hole))
|
|
(expr
|
|
(with-syntax (((t) (generate-temporaries '(t))))
|
|
(loop (cdr slots)
|
|
(cons #'(t expr) bindings)
|
|
(cons #'t arguments)))))))))))
|