set svn:eol-style and newlines at eofs
svn: r6275
This commit is contained in:
parent
32749ed29a
commit
3e90bd984f
|
@ -177,4 +177,4 @@
|
||||||
re))
|
re))
|
||||||
fe)]))
|
fe)]))
|
||||||
|
|
||||||
anormal-term))
|
anormal-term))
|
||||||
|
|
|
@ -152,4 +152,4 @@
|
||||||
(values (reverse nstxs)
|
(values (reverse nstxs)
|
||||||
defs)])))
|
defs)])))
|
||||||
(define defun* (lift-defun defun))
|
(define defun* (lift-defun defun))
|
||||||
(define defun** (lift-defun (lambda (stx) (defun* (syntax->list stx))))))
|
(define defun** (lift-defun (lambda (stx) (defun* (syntax->list stx))))))
|
||||||
|
|
|
@ -170,6 +170,5 @@
|
||||||
[(#%variable-reference . v)
|
[(#%variable-reference . v)
|
||||||
stx]
|
stx]
|
||||||
[id (identifier? #'id)
|
[id (identifier? #'id)
|
||||||
stx]
|
stx]
|
||||||
[_
|
[_ (raise-syntax-error 'elim-callcc "Dropped through:" stx)])))
|
||||||
(raise-syntax-error 'elim-callcc "Dropped through:" stx)])))
|
|
||||||
|
|
|
@ -136,4 +136,4 @@
|
||||||
[_
|
[_
|
||||||
(raise-syntax-error 'elim-letrec "Dropped through:" stx)]))
|
(raise-syntax-error 'elim-letrec "Dropped through:" stx)]))
|
||||||
|
|
||||||
(define elim-letrec-term (elim-letrec empty)))
|
(define elim-letrec-term (elim-letrec empty)))
|
||||||
|
|
|
@ -35,4 +35,4 @@
|
||||||
(+ (parameterize ([msg "first"])
|
(+ (parameterize ([msg "first"])
|
||||||
(gn))
|
(gn))
|
||||||
(parameterize ([msg "second"])
|
(parameterize ([msg "second"])
|
||||||
(gn)))))))))
|
(gn)))))))))
|
||||||
|
|
|
@ -36,4 +36,4 @@
|
||||||
(+ (web-parameterize ([msg "first"])
|
(+ (web-parameterize ([msg "first"])
|
||||||
(gn))
|
(gn))
|
||||||
(web-parameterize ([msg "second"])
|
(web-parameterize ([msg "second"])
|
||||||
(gn)))))))))
|
(gn)))))))))
|
||||||
|
|
|
@ -32,4 +32,4 @@
|
||||||
(body
|
(body
|
||||||
(h1 "Final Page")
|
(h1 "Final Page")
|
||||||
(p ,(format "The answer is ~a"
|
(p ,(format "The answer is ~a"
|
||||||
(+ (get-number "first") (get-number "second"))))))))
|
(+ (get-number "first") (get-number "second"))))))))
|
||||||
|
|
|
@ -15,4 +15,4 @@
|
||||||
(parameterize ([msg "first"])
|
(parameterize ([msg "first"])
|
||||||
(gn "first" 12))
|
(gn "first" 12))
|
||||||
(parameterize ([msg "second"])
|
(parameterize ([msg "second"])
|
||||||
(gn "second" 1))))))
|
(gn "second" 1))))))
|
||||||
|
|
|
@ -34,4 +34,4 @@
|
||||||
(web-cell-mask a-counter (add1 last))
|
(web-cell-mask a-counter (add1 last))
|
||||||
; The new frame has been modified
|
; The new frame has been modified
|
||||||
(counter))))])
|
(counter))))])
|
||||||
"+"))))
|
"+"))))
|
||||||
|
|
|
@ -29,4 +29,4 @@
|
||||||
"Increment")))])
|
"Increment")))])
|
||||||
(values include
|
(values include
|
||||||
my-counter
|
my-counter
|
||||||
other-counter)))))
|
other-counter)))))
|
||||||
|
|
|
@ -40,4 +40,4 @@
|
||||||
; The new frame has been modified
|
; The new frame has been modified
|
||||||
(generate))))])
|
(generate))))])
|
||||||
"+")))))
|
"+")))))
|
||||||
(generate))))
|
(generate))))
|
||||||
|
|
|
@ -26,4 +26,4 @@
|
||||||
[file-box (path? any/c . -> . file-box?)]
|
[file-box (path? any/c . -> . file-box?)]
|
||||||
[file-unbox (file-box? . -> . any/c)]
|
[file-unbox (file-box? . -> . any/c)]
|
||||||
[file-box-set? (file-box? . -> . boolean?)]
|
[file-box-set? (file-box? . -> . boolean?)]
|
||||||
[file-box-set! (file-box? any/c . -> . void)]))
|
[file-box-set! (file-box? any/c . -> . void)]))
|
||||||
|
|
|
@ -135,4 +135,4 @@
|
||||||
[(bound-identifier=? (car s) elt)
|
[(bound-identifier=? (car s) elt)
|
||||||
(cdr s)] ;; if we maintain the no-dupe invariant then we don't need to recur
|
(cdr s)] ;; if we maintain the no-dupe invariant then we don't need to recur
|
||||||
[else (cons (car s)
|
[else (cons (car s)
|
||||||
(sans (cdr s) elt))])))
|
(sans (cdr s) elt))])))
|
||||||
|
|
|
@ -32,4 +32,4 @@
|
||||||
(compose #;(lambda (stx) (values stx empty))
|
(compose #;(lambda (stx) (values stx empty))
|
||||||
defun
|
defun
|
||||||
elim-callcc
|
elim-callcc
|
||||||
(make-anormal-term elim-letrec-term)))))))
|
(make-anormal-term elim-letrec-term)))))))
|
||||||
|
|
|
@ -189,6 +189,5 @@
|
||||||
[(#%variable-reference . v)
|
[(#%variable-reference . v)
|
||||||
stx]
|
stx]
|
||||||
[id (identifier? #'id)
|
[id (identifier? #'id)
|
||||||
stx]
|
stx]
|
||||||
[_
|
[_ (raise-syntax-error 'kerncase "Dropped through:" stx)])))
|
||||||
(raise-syntax-error 'kerncase "Dropped through:" stx)])))
|
|
||||||
|
|
|
@ -12,4 +12,4 @@
|
||||||
(k
|
(k
|
||||||
(lambda (embed/url)
|
(lambda (embed/url)
|
||||||
body ...)))
|
body ...)))
|
||||||
(id))))])))
|
(id))))])))
|
||||||
|
|
|
@ -83,4 +83,4 @@
|
||||||
#;[make-web-cell* (symbol? any/c . -> . web-cell?)]
|
#;[make-web-cell* (symbol? any/c . -> . web-cell?)]
|
||||||
[web-cell? (any/c . -> . boolean?)]
|
[web-cell? (any/c . -> . boolean?)]
|
||||||
[web-cell-ref (web-cell? . -> . any/c)]
|
[web-cell-ref (web-cell? . -> . any/c)]
|
||||||
[web-cell-mask (web-cell? any/c . -> . void)]))
|
[web-cell-mask (web-cell? any/c . -> . void)]))
|
||||||
|
|
|
@ -52,4 +52,4 @@
|
||||||
[(_ ([wp ve] ...) e ...)
|
[(_ ([wp ve] ...) e ...)
|
||||||
(with-syntax ([(v ...) (generate-temporaries (syntax->list #'(ve ...)))])
|
(with-syntax ([(v ...) (generate-temporaries (syntax->list #'(ve ...)))])
|
||||||
#'(let ([v ve] ...)
|
#'(let ([v ve] ...)
|
||||||
(web-parameterize/values ([wp v] ...) e ...)))])))
|
(web-parameterize/values ([wp v] ...) e ...)))])))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user