(values (car b) (cdr b) mod)))))
(let ((n (id-var-name id w mod)))
(cond ((syntax-object? n)
- (resolve-identifier n w r mod resolve-syntax-parameters?))
+ (if (not (eq? n id))
+ (resolve-identifier n w r mod resolve-syntax-parameters?)
+ (resolve-identifier
+ (syntax-object-expression n)
+ (syntax-object-wrap n)
+ r
+ (syntax-object-module n)
+ resolve-syntax-parameters?)))
((symbol? n)
(resolve-global
n
;;;; -*-scheme-*-
;;;;
;;;; Copyright (C) 2001, 2003, 2006, 2009, 2010, 2011,
-;;;; 2012, 2013 Free Software Foundation, Inc.
+;;;; 2012, 2013, 2015 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
(let ((n (id-var-name id w mod)))
(cond
((syntax-object? n)
- ;; Recursing allows syntax-parameterize to override
- ;; macro-introduced syntax parameters.
- (resolve-identifier n w r mod resolve-syntax-parameters?))
+ (cond
+ ((not (eq? n id))
+ ;; This identifier aliased another; recurse to allow
+ ;; syntax-parameterize to override macro-introduced syntax
+ ;; parameters.
+ (resolve-identifier n w r mod resolve-syntax-parameters?))
+ (else
+ ;; Resolved to a free variable that was introduced by this
+ ;; macro; continue to resolve this global by name.
+ (resolve-identifier (syntax-object-expression n)
+ (syntax-object-wrap n)
+ r
+ (syntax-object-module n)
+ resolve-syntax-parameters?))))
((symbol? n)
(resolve-global n (if (syntax-object? id)
(syntax-object-module id)
;;;; syncase.test --- test suite for (ice-9 syncase) -*- scheme -*-
;;;;
-;;;; Copyright (C) 2001, 2006, 2009, 2010, 2011, 2013 Free Software Foundation, Inc.
+;;;; Copyright (C) 2001, 2006, 2009, 2010, 2011, 2013, 2015 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
(pass-if-syntax-error "primref in (guile)"
"not in operator position"
(macroexpand '(@@ @@ (guile) (@@ primitive cons)))))
+
+(pass-if "infinite loop bug"
+ (begin
+ (macroexpand
+ '(let-syntax
+ ((define-foo
+ (syntax-rules ()
+ ((define-foo a b)
+ (begin
+ (define a '())
+ ;; Oddly, the "*" in the define* seems to be
+ ;; important in triggering this bug.
+ (define* (b) (set! a a)))))))
+ (define-foo a c)))
+ #t))