#srfi-18とsrfi-34の例外ハンドリングの違い、with-exception-handlerを変えれば良いと思い込んでいたんだけど、むしろ違うのはraiseの方か。
#(define-module foo
(use gauche.record)
(export foo)
(define-syntax foo
(syntax-rules ()
((_)
(define-record-type <foo>
(make-foo)
foo?)))))
(import foo)
(foo)
;; *** ERROR: unbound variable: <foo>
;; While loading "./foo.scm" at line 12
;; Stack Trace:
;; _______________________________________
;; 0 <foo>
;; 1 (rtd-constructor <foo> #())
;; [unknown location]#これってバグですよね
#(define-library (bar)
(import (scheme base))
(export bar)
(begin
(define-syntax bar
(syntax-rules ()
((_ g)
(begin
(define x 42)
(define (g) x)))))))
(import (bar)
(scheme write))
(bar f)
(display (f))
;; *** ERROR: unbound variable: x
;; While loading "./bar.scm" at line 15
;; Stack Trace:
;; _______________________________________
;; 0 x
;; 1 (f)
;; At line 15 of "./bar.scm"#こんなのもエラーになりましたがR7RS的にどうなるのかよく分かりませんでした。
#R5RS 5.2.1節にあったトップレベルの束縛がどうとかって文言がR7RSではなくなってるぽくてなんか変わったのかなあと思ったんですが
#んん、バグっぽいですね。後者については、議論があるのは、barが生成するトップレベルのxへの束縛が外から見えるべきか (barを呼び出した環境のxと同じになるか、マクロ展開時に生成されるユニークなxになるべきか)ってとこで、同じ展開に含まれる関数定義から参照されてるxは42にdefineされたxと同じでなければならんです。
##一律にrenameするのが実装としては綺麗だけど、これまでに「マクロが新たに挿入するトップレベル識別子の束縛がmacro useしてるモジュールから見えること」に依存したコードが無かったかどうか自信ない…
# 
Gauche > Archives > 2014/11/05