1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
; Part of Scheme 48 1.9. See file COPYING for notices and license.
; Authors: Richard Kelsey, Jonathan Rees
; Interfaces are ignored. Only dependencies are significant.
(define (make-indirect-interface name thunk)
(thunk))
(define (make-simple-interface name items)
(cons 'export items))
(define (make-compound-interface name . sigs)
(cons 'compound-interface sigs))
; Types
(define :value ':value)
(define :syntax ':syntax)
(define :structure ':structure)
(define :procedure ':procedure)
(define :number ':number)
(define :type ':type)
(define-syntax proc
(lambda (e r c) ''proc-lossage))
(define-syntax interface-of
(lambda (e r c) ''interface-of-lossage))
(define (note-reference-to-interface! int thing)
'int-lossage)
(define (interface-name int)
'int-lossage)
(define (interface? int)
(and (pair? int)
(or (eq? 'export (car int))
(eq? 'compound-interface (car int)))))
(define (note-interface-name! int name)
'int-lossage)
|
