avoid requiring mzscheme
svn: r7951 original commit: ddc2ade2714a4924cd60a0895b74062954768a85
This commit is contained in:
parent
193490b000
commit
07cb261b6c
|
@ -4,9 +4,10 @@
|
||||||
(Section 'kw)
|
(Section 'kw)
|
||||||
|
|
||||||
(require (lib "kw.ss")
|
(require (lib "kw.ss")
|
||||||
mzscheme)
|
(prefix-in mz: mzscheme))
|
||||||
|
|
||||||
(let ()
|
(let-syntax ([#%datum (syntax-rules () [(_ . xs) (mz:#%datum . xs)])]
|
||||||
|
[#%app (syntax-rules () [(_ . xs) (mz:#%app . xs)])])
|
||||||
(define-syntax t
|
(define-syntax t
|
||||||
(syntax-rules (=> <= :rt-err: :st-err:)
|
(syntax-rules (=> <= :rt-err: :st-err:)
|
||||||
[(t E => :rt-err:) (err/rt-test E)]
|
[(t E => :rt-err:) (err/rt-test E)]
|
||||||
|
|
Loading…
Reference in New Issue
Block a user