Permalink
Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
39 lines (36 sloc) 1.27 KB
E ::= K | (quote A) | (quasiquote A) | V | (if E E E) | (cond (E E)* (else E)?) |
(O E*) | (P E*) | (begin E*)
(let ((V E)*) D0* E*) | (let* ((V E)*) D0* E*) |
(letrec ((V (lambda (V*) E*))*) D0* E*) |
(let P ((V E)*) D0* E*) |
(do ((V E E)*) (E E*) E*) |
(case E ((A*) E*)* (else E*)?) |
(let-syntax ((P (syntax-rules (V*) R)))) |
(letrec-syntax ((P (syntax-rules (V*) R))*)) |
(lambda (V*) D0* E*) | (E E*) |
[ (lambda V D0* E*) | (lambda (V* . V) D0* E*) | ]
(C E*) | (Ci E) | (C? E) | % ctors, selectors, tests
(M E) | % memoization point
(set! V E) | (make-cell E) | (cell-ref E) | (cell-set! E E)
A ::= <datum> of R4RS
D0 ::= (define (P V*) D0* E*) |
(define P E) |
(define-without-memoization (P V*) D0* E*) |
(define-without-memoization P E)
D ::= D0 |
(begin D*) |
(load <string>) |
(define-data TC (C Ci*)+) |
(define-type (P B*) B) |
(define-primitive O T [dynamic|error|opaque|pure|apply]) |
(define-memo M <number>) |
(define-macro P (syntax-rules (V*) R))
R ::= <???> of R5RS
T ::= - | T0
T0 ::= (all TV T0) | (rec TV T0) | (TC T0*) | TV
TV type variable (must be bound by rec or all)
TC type constructor
B ::= * | d | -
prg ::= D+
S ::= (P G*) % syntax of the skeleton call
G ::= * | - | d | s | <number> | ((C G*)*) % binding times in the skeleton