mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-30 11:50:28 +02:00
92fac8c056
* module/system/base/ck.scm: New module. * module/srfi/srfi-9.scm: Import (system base ck). (getter-type, getter-index, getter-copier): Convert incoming argument convention to CK form. (define-tagged-inlinable): Convert return value convention for key lookup to CK form. * module/srfi/srfi-9/gnu.scm: Import (system base ck). Rename '%set-fields-unknown-getter' to 'unknown-getter'. (c-list, c-same-type-check): New macros. (%set-fields): Using the CK abstract machine, arrange to check (at macro expansion time) that all of the getters in head position correspond to the same record type. * test-suite/tests/srfi-9.test: Add test.
55 lines
2.1 KiB
Scheme
55 lines
2.1 KiB
Scheme
;;; ck, to facilitate applicative-order macro programming
|
|
|
|
;;; Copyright (C) 2012 Free Software Foundation, Inc
|
|
;;; Copyright (C) 2009, 2011 Oleg Kiselyov
|
|
;;;
|
|
;;; 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
|
|
;;;
|
|
;;;
|
|
;;; Originally written by Oleg Kiselyov and later contributed to Guile.
|
|
;;;
|
|
;;; Based on the CK machine introduced in:
|
|
;;;
|
|
;;; Matthias Felleisen and Daniel P. Friedman: Control operators, the
|
|
;;; SECD machine, and the lambda-calculus. In Martin Wirsing, editor,
|
|
;;; Formal Description of Programming Concepts III, pages
|
|
;;; 193-217. Elsevier, Amsterdam, 1986.
|
|
;;;
|
|
;;; See http://okmij.org/ftp/Scheme/macros.html#ck-macros for details.
|
|
;;;
|
|
|
|
(define-module (system base ck)
|
|
#:export (ck))
|
|
|
|
(define-syntax ck
|
|
(syntax-rules (quote)
|
|
((ck () 'v) v) ; yield the value on empty stack
|
|
|
|
((ck (((op ...) ea ...) . s) 'v) ; re-focus on the other argument, ea
|
|
(ck-arg s (op ... 'v) ea ...))
|
|
|
|
((ck s (op ea ...)) ; Focus: handling an application;
|
|
(ck-arg s (op) ea ...)))) ; check if args are values
|
|
|
|
(define-syntax ck-arg
|
|
(syntax-rules (quote)
|
|
((ck-arg s (op va ...)) ; all arguments are evaluated,
|
|
(op s va ...)) ; do the redex
|
|
|
|
((ck-arg s (op ...) 'v ea1 ...) ; optimization when the first ea
|
|
(ck-arg s (op ... 'v) ea1 ...)) ; was already a value
|
|
|
|
((ck-arg s (op ...) ea ea1 ...) ; focus on ea, to evaluate it
|
|
(ck (((op ...) ea1 ...) . s) ea))))
|