summaryrefslogtreecommitdiff
path: root/srfi/srfi-16.scm
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2008-11-01 13:49:23 +0100
committerAndy Wingo <wingo@pobox.com>2008-11-01 13:49:23 +0100
commitea93465de79826ca8bbd3689bfbccca58e8d9353 (patch)
treee5710a7f0e547cb6daaa04f53ed881a03cc57979 /srfi/srfi-16.scm
parent3f0bce1e14a4da50ff401104896314c5122a9765 (diff)
downloadguile-ea93465de79826ca8bbd3689bfbccca58e8d9353.tar.gz
move scm srfi files to module/srfi, and compile them.
* .gitignore: Add gdb-pre-inst-guile. * configure.in: Add module/srfi/Makefile. * module/Makefile.am: Add srfi/. * module/srfi/: SRFI scheme files moved here, and compiled. * srfi/Makefile.am: Remove the bits about the scheme files.
Diffstat (limited to 'srfi/srfi-16.scm')
-rw-r--r--srfi/srfi-16.scm126
1 files changed, 0 insertions, 126 deletions
diff --git a/srfi/srfi-16.scm b/srfi/srfi-16.scm
deleted file mode 100644
index 0b213fde7..000000000
--- a/srfi/srfi-16.scm
+++ /dev/null
@@ -1,126 +0,0 @@
-;;; srfi-16.scm --- case-lambda
-
-;; Copyright (C) 2001, 2002, 2006 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 2.1 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
-
-;;; Author: Martin Grabmueller
-
-;;; Commentary:
-
-;; Implementation of SRFI-16. `case-lambda' is a syntactic form
-;; which permits writing functions acting different according to the
-;; number of arguments passed.
-;;
-;; The syntax of the `case-lambda' form is defined in the following
-;; EBNF grammar.
-;;
-;; <case-lambda>
-;; --> (case-lambda <case-lambda-clause>)
-;; <case-lambda-clause>
-;; --> (<signature> <definition-or-command>*)
-;; <signature>
-;; --> (<identifier>*)
-;; | (<identifier>* . <identifier>)
-;; | <identifier>
-;;
-;; The value returned by a `case-lambda' form is a procedure which
-;; matches the number of actual arguments against the signatures in
-;; the various clauses, in order. The first matching clause is
-;; selected, the corresponding values from the actual parameter list
-;; are bound to the variable names in the clauses and the body of the
-;; clause is evaluated.
-
-;;; Code:
-
-(define-module (srfi srfi-16)
- :export-syntax (case-lambda))
-
-(cond-expand-provide (current-module) '(srfi-16))
-
-(define-macro (case-lambda . clauses)
-
- ;; Return the length of the list @var{l}, but allow dotted list.
- ;;
- (define (alength l)
- (cond ((null? l) 0)
- ((pair? l) (+ 1 (alength (cdr l))))
- (else 0)))
-
- ;; Return @code{#t} if @var{l} is a dotted list, @code{#f} if it is
- ;; a normal list.
- ;;
- (define (dotted? l)
- (cond ((null? l) #f)
- ((pair? l) (dotted? (cdr l)))
- (else #t)))
-
- ;; Return the expression for accessing the @var{index}th element of
- ;; the list called @var{args-name}. If @var{tail?} is true, code
- ;; for accessing the list-tail is generated, otherwise for accessing
- ;; the list element itself.
- ;;
- (define (accessor args-name index tail?)
- (if tail?
- (case index
- ((0) `,args-name)
- ((1) `(cdr ,args-name))
- ((2) `(cddr ,args-name))
- ((3) `(cdddr ,args-name))
- ((4) `(cddddr ,args-name))
- (else `(list-tail ,args-name ,index)))
- (case index
- ((0) `(car ,args-name))
- ((1) `(cadr ,args-name))
- ((2) `(caddr ,args-name))
- ((3) `(cadddr ,args-name))
- (else `(list-ref ,args-name ,index)))))
-
- ;; Generate the binding lists of the variables of one case-lambda
- ;; clause. @var{vars} is the (possibly dotted) list of variables
- ;; and @var{args-name} is the generated name used for the argument
- ;; list.
- ;;
- (define (gen-temps vars args-name)
- (let lp ((v vars) (i 0))
- (cond ((null? v) '())
- ((pair? v)
- (cons `(,(car v) ,(accessor args-name i #f))
- (lp (cdr v) (+ i 1))))
- (else `((,v ,(accessor args-name i #t)))))))
-
- ;; Generate the cond clauses for each of the clauses of case-lambda,
- ;; including the parameter count check, binding of the parameters
- ;; and the code of the corresponding body.
- ;;
- (define (gen-clauses l length-name args-name)
- (cond ((null? l) (list '(else (error "too few arguments"))))
- (else
- (cons
- `((,(if (dotted? (caar l)) '>= '=)
- ,length-name ,(alength (caar l)))
- (let ,(gen-temps (caar l) args-name)
- ,@(cdar l)))
- (gen-clauses (cdr l) length-name args-name)))))
-
- (let ((args-name (gensym))
- (length-name (gensym)))
- (let ((proc
- `(lambda ,args-name
- (let ((,length-name (length ,args-name)))
- (cond ,@(gen-clauses clauses length-name args-name))))))
- proc)))
-
-;;; srfi-16.scm ends here