[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#14537: defect in guile with syntax transformation
From: |
Dr. M. Luedde |
Subject: |
bug#14537: defect in guile with syntax transformation |
Date: |
Sun, 2 Jun 2013 09:14:48 +0100 (BST) |
;; I think the below code exhibits a defect with guile 1.8.7.
;;
;; The `defrec' syntax transformer (defined below) does not behave
;; correctly within an imbedding `let' expression.
;;
;; The system is CYGWIN_NT-6.1-WOW64 WDFN00305859A 1.7.18(0.263/5/3)
;; 2013-04-19 10:39 i686 Cygwin
;;
;; Guile runs in GNU bash, version 4.1.10(4)-release (i686-pc-cygwin)
;; enable `define-syntax' functionality
(use-modules (ice-9 syncase))
;; OK
(let ( (n 99) )
(begin
(define
ev.OK? (lambda (x) (if (zero? x) #t
(od.OK? (- x 1)))))
(define
od.OK? (lambda (x) (if (zero? x) #f
(ev.OK? (- x 1))))))
(od.OK? 99))
;; OK, evaluates to #t
(define-syntax defrec
;; TYPE: syntax transformer.
;;
;; REQUIRES: (defrec . X) requires that X := ((S_1 V_1) ... (S_N
;; V_N)). The S_I are mutually distinct symbols. The V_J may contain
;; references to the S_I. On evaluation of any V_J the value bound
;; to a referenced S_I must not be needed.
;;
;; RETURNS: The value of the expression (begin (define S_1 #f)
;; ... (define S_N #f) (set! S_1 V_1) ... (set! S_N V_N)).
(syntax-rules ()
((_ (S V) ...)
(begin (define S #f) ...
(set! S V) ...))))
;; OK
(defrec
(ev.broken? (lambda (x) (if (zero? x) #t
(od.broken? (- x 1)))))
(od.broken? (lambda (x) (if (zero? x) #f
(ev.broken? (- x 1))))))
(od.broken? 99)
;; OK, evaluates to #t
(let ( (n 99) )
(defrec
(ev.broken? (lambda (x) (if (zero? x) #t
(od.broken? (- x 1)))))
(od.broken? (lambda (x) (if (zero? x) #f
(ev.broken? (- x 1))))))
(od.broken? n))
;; Produces an error message:
;; In standard input:
;; 14: 0* (let* ((n 99)) (defrec (ev.broken? #) (od.broken? #)) (od.broken?
n))
;; standard input:14:1: In procedure memoization in expression (let* (#)
(defrec # #) ...):
;; standard input:14:1: In file "standard input", line 14: Mixed definitions
and expressions in (defrec (ev.broken? (lambda (x) (if (zero? x) #t (od.broken?
(- x 1))))) (od.broken? (lambda (x) (if (zero? x) #f (ev.broken? (- x 1)))))).
;; Backtrace:
;; ABORT: (syntax-error)
--
Dr. M. Luedde, Rheinblick 26A, D-69226 Nussloch, Germany
+49-175-2779708, Skype: MirkoLuedde
- bug#14537: defect in guile with syntax transformation,
Dr. M. Luedde <=