* Added bound-identifier=?

This commit is contained in:
Abdulaziz Ghuloum 2007-05-11 22:47:09 -04:00
parent 5063f08e32
commit 6e1c1f847a
3 changed files with 10 additions and 1 deletions

Binary file not shown.

View File

@ -7,7 +7,8 @@
(library (ikarus syntax) (library (ikarus syntax)
(export identifier? syntax-dispatch environment environment? (export identifier? syntax-dispatch environment environment?
eval generate-temporaries free-identifier=? syntax-error eval generate-temporaries free-identifier=?
bound-identifier=? syntax-error
eval-r6rs-top-level boot-library-expand eval-top-level) eval-r6rs-top-level boot-library-expand eval-top-level)
(import (import
(r6rs) (r6rs)
@ -2260,6 +2261,13 @@
(free-id=? x y) (free-id=? x y)
(error 'free-identifier=? "~s is not an identifier" y)) (error 'free-identifier=? "~s is not an identifier" y))
(error 'free-identifier=? "~s is not an identifier" x)))) (error 'free-identifier=? "~s is not an identifier" x))))
(define bound-identifier=?
(lambda (x y)
(if (id? x)
(if (id? y)
(bound-id=? x y)
(error 'bound-identifier=? "~s is not an identifier" y))
(error 'bound-identifier=? "~s is not an identifier" x))))
(define syntax-error (define syntax-error
(lambda (x . args) (lambda (x . args)
(unless (andmap string? args) (unless (andmap string? args)

View File

@ -408,6 +408,7 @@
[syntax-error i syncase] [syntax-error i syncase]
[generate-temporaries i syncase] [generate-temporaries i syncase]
[free-identifier=? i syncase] [free-identifier=? i syncase]
[bound-identifier=? i syncase]
[code? i] [code? i]
[immediate? i] [immediate? i]
[pointer-value i] [pointer-value i]