24 lines
707 B
Scheme
24 lines
707 B
Scheme
(define-exported-binding "length" length)
|
|
(define-exported-binding "boolean?" boolean?)
|
|
(define-exported-binding "integer?" integer?)
|
|
|
|
(define-syntax lookup-shared-value
|
|
(syntax-rules ()
|
|
((lookup-shared-value %s)
|
|
(shared-binding-ref
|
|
(lookup-imported-binding %s)))))
|
|
|
|
(define (make-finite-type-alist elements id-proc)
|
|
(map
|
|
(lambda (e) (cons (id-proc e) e))
|
|
(vector->list elements)))
|
|
|
|
(define (make-finite-type-import-function finite-type-name elements id-proc)
|
|
(let ((alist (make-finite-type-alist elements id-proc)))
|
|
(lambda (id)
|
|
(cond
|
|
((assoc id alist) => cdr)
|
|
(else
|
|
(error "Could not map value to finite type "
|
|
finite-type-name id))))))
|