mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-30 03:40:34 +02:00
087bb683c8
* module/ice-9/match.upstream.scm (match-next): Use throw, so that CPS can see that there's no fallthrough. * module/ice-9/match.scm: Add a note about what to do in 3.1 to remove the old "error" definition.
63 lines
2.2 KiB
Scheme
63 lines
2.2 KiB
Scheme
;;; -*- mode: scheme; coding: utf-8; -*-
|
|
;;;
|
|
;;; Copyright (C) 2010, 2011, 2012, 2020 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 (ice-9 match)
|
|
#:export (match
|
|
match-lambda
|
|
match-lambda*
|
|
match-let
|
|
match-let*
|
|
match-letrec))
|
|
|
|
;; Support for record matching.
|
|
|
|
;; For backwards compatibility with previously-compiled files, keep the
|
|
;; old definition of "error" around.
|
|
(define (error _ . args)
|
|
(apply throw 'match-error "match" args))
|
|
;; FIXME: In 3.1.x, use this new definition:
|
|
;; (define-syntax-rule (error where msg datum)
|
|
;; (throw 'match-error "match" msg datum))
|
|
|
|
(define-syntax slot-ref
|
|
(syntax-rules ()
|
|
((_ rtd rec n)
|
|
(struct-ref rec n))))
|
|
|
|
(define-syntax slot-set!
|
|
(syntax-rules ()
|
|
((_ rtd rec n value)
|
|
(struct-set! rec n value))))
|
|
|
|
(define-syntax is-a?
|
|
(syntax-rules ()
|
|
((_ rec rtd)
|
|
(and (struct? rec)
|
|
(eq? (struct-vtable rec) rtd)))))
|
|
|
|
;; Compared to Andrew K. Wright's `match', this one lacks `match-define',
|
|
;; `match:error-control', `match:set-error-control', `match:error',
|
|
;; `match:set-error', and all structure-related procedures. Also,
|
|
;; `match' doesn't support clauses of the form `(pat => exp)'.
|
|
|
|
;; Unmodified public domain code by Alex Shinn retrieved from
|
|
;; the Chibi-Scheme repository, commit 1206:acd808700e91.
|
|
;;
|
|
;; Note: Make sure to update `match.test.upstream' when updating this
|
|
;; file.
|
|
(include-from-path "ice-9/match.upstream.scm")
|