Rename newcont to lang
svn: r6276
This commit is contained in:
parent
3e90bd984f
commit
ef18c5ac86
|
@ -1,11 +1,11 @@
|
|||
(module newcont mzscheme
|
||||
(module lang mzscheme
|
||||
(require-for-syntax (lib "etc.ss")
|
||||
(lib "labels.ss" "web-server" "prototype-web-server")
|
||||
"util.ss"
|
||||
"elim-letrec.ss"
|
||||
"anormal.ss"
|
||||
"elim-callcc.ss"
|
||||
"defun.ss")
|
||||
"lang/util.ss"
|
||||
"lang/elim-letrec.ss"
|
||||
"lang/anormal.ss"
|
||||
"lang/elim-callcc.ss"
|
||||
"lang/defun.ss")
|
||||
(require (lib "abort-resume.ss" "web-server" "prototype-web-server"))
|
||||
(require (only (lib "persistent-web-interaction.ss" "web-server" "prototype-web-server")
|
||||
send/suspend/hidden
|
||||
|
@ -32,4 +32,4 @@
|
|||
(compose #;(lambda (stx) (values stx empty))
|
||||
defun
|
||||
elim-callcc
|
||||
(make-anormal-term elim-letrec-term)))))))
|
||||
(make-anormal-term elim-letrec-term)))))))
|
|
@ -177,4 +177,4 @@
|
|||
re))
|
||||
fe)]))
|
||||
|
||||
anormal-term))
|
||||
anormal-term))
|
|
@ -152,4 +152,4 @@
|
|||
(values (reverse nstxs)
|
||||
defs)])))
|
||||
(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,5 +170,6 @@
|
|||
[(#%variable-reference . v)
|
||||
stx]
|
||||
[id (identifier? #'id)
|
||||
stx]
|
||||
[_ (raise-syntax-error 'elim-callcc "Dropped through:" stx)])))
|
||||
stx]
|
||||
[_
|
||||
(raise-syntax-error 'elim-callcc "Dropped through:" stx)])))
|
|
@ -136,4 +136,4 @@
|
|||
[_
|
||||
(raise-syntax-error 'elim-letrec "Dropped through:" stx)]))
|
||||
|
||||
(define elim-letrec-term (elim-letrec empty)))
|
||||
(define elim-letrec-term (elim-letrec empty)))
|
|
@ -135,4 +135,4 @@
|
|||
[(bound-identifier=? (car s) elt)
|
||||
(cdr s)] ;; if we maintain the no-dupe invariant then we don't need to recur
|
||||
[else (cons (car s)
|
||||
(sans (cdr s) elt))])))
|
||||
(sans (cdr s) elt))])))
|
|
@ -189,5 +189,6 @@
|
|||
[(#%variable-reference . v)
|
||||
stx]
|
||||
[id (identifier? #'id)
|
||||
stx]
|
||||
[_ (raise-syntax-error 'kerncase "Dropped through:" stx)])))
|
||||
stx]
|
||||
[_
|
||||
(raise-syntax-error 'kerncase "Dropped through:" stx)])))
|
|
@ -1,4 +1,4 @@
|
|||
(module add-param (lib "newcont.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(module add-param (lib "lang.ss" "web-server" "prototype-web-server")
|
||||
(require (lib "url.ss" "net")
|
||||
(lib "servlet-helpers.ss" "web-server" "private"))
|
||||
(provide start)
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module add-simple (lib "newcont.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(module add-simple (lib "lang.ss" "web-server" "prototype-web-server")
|
||||
(require (lib "url.ss" "net")
|
||||
(lib "servlet-helpers.ss" "web-server" "private")
|
||||
(lib "web-param.ss" "web-server" "prototype-web-server" "newcont"))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module add (lib "newcont.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(module add (lib "lang.ss" "web-server" "prototype-web-server")
|
||||
(require (lib "url.ss" "net")
|
||||
(lib "servlet-helpers.ss" "web-server" "private"))
|
||||
(provide start)
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module temp (lib "newcont.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(module temp (lib "lang.ss" "web-server" "prototype-web-server")
|
||||
(provide start)
|
||||
|
||||
(define msg (make-parameter "unknown"))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module wc-comp (lib "newcont.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(module wc-comp (lib "lang.ss" "web-server" "prototype-web-server")
|
||||
(require (lib "web-cells.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(lib "web-cell-component.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(lib "url.ss" "net"))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module wc-fake (lib "newcont.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(module wc-fake (lib "lang.ss" "web-server" "prototype-web-server")
|
||||
(require (lib "url.ss" "net"))
|
||||
(provide start)
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
(module wc (lib "newcont.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(module wc (lib "lang.ss" "web-server" "prototype-web-server")
|
||||
(require (lib "web-cells.ss" "web-server" "prototype-web-server" "newcont")
|
||||
(lib "url.ss" "net"))
|
||||
(provide start)
|
||||
|
|
Loading…
Reference in New Issue
Block a user