Newlines at EOFs

svn: r15380
This commit is contained in:
Eli Barzilay 2009-07-04 02:28:31 +00:00
parent bbc989f795
commit a70bf64fd9
152 changed files with 156 additions and 161 deletions

View File

@ -3,4 +3,4 @@
(require "shared.ss") (require "shared.ss")
(make-player 100 'carl) (make-player 100 'carl)
) )

View File

@ -507,4 +507,4 @@
((empty? scene) screen) ((empty? scene) screen)
((pair? scene) (render-scene-helper screenWidth screenHeight (rest scene) camera-matrix ((pair? scene) (render-scene-helper screenWidth screenHeight (rest scene) camera-matrix
(overlay screen (overlay screen
(render-clipped-line3d screenWidth screenHeight (first scene) camera-matrix) 0 0)))))) (render-clipped-line3d screenWidth screenHeight (first scene) camera-matrix) 0 0))))))

View File

@ -57,4 +57,4 @@
) )
(require (lib "include.ss")) (require (lib "include.ss"))
(include "line3d.scm")) (include "line3d.scm"))

View File

@ -65,4 +65,4 @@
(define-signature graphics^ (define-signature graphics^
((open graphics:posn-less^) ((open graphics:posn-less^)
(open graphics:posn^))) (open graphics:posn^)))

View File

@ -11,4 +11,4 @@
(define-compound-unit/infer graphics@ (define-compound-unit/infer graphics@
(import mred^) (import mred^)
(export graphics:posn^ graphics:posn-less^) (export graphics:posn^ graphics:posn-less^)
(link posn@ graphics-posn-less@)) (link posn@ graphics-posn-less@))

View File

@ -6,4 +6,4 @@
"graphics-unit.ss") "graphics-unit.ss")
(provide-signature-elements graphics:posn^ graphics:posn-less^) (provide-signature-elements graphics:posn^ graphics:posn-less^)
(define-values/invoke-unit/infer graphics@) (define-values/invoke-unit/infer graphics@)

View File

@ -5,4 +5,4 @@
(provide id ...)) (provide id ...))
(provide (provide
provide/contract*) provide/contract*)

View File

@ -55,4 +55,4 @@
[dv:set! (->d ([dv dv?] [pos exact-nonnegative-integer?] [val any/c]) () [dv:set! (->d ([dv dv?] [pos exact-nonnegative-integer?] [val any/c]) ()
#:pre-cond (pos . < . (dv:length dv)) #:pre-cond (pos . < . (dv:length dv))
[r void])] [r void])]
[dv:append (dv? any/c . -> . void)]) [dv:append (dv? any/c . -> . void)])

View File

@ -87,4 +87,4 @@
receive) receive)
(provide/contract* (provide/contract*
[! (tid? any/c . -> . void)] [! (tid? any/c . -> . void)]
[self (-> tid?)]) [self (-> tid?)])

View File

@ -727,4 +727,4 @@
[safe-signal-depth (any/c . -> . exact-nonnegative-integer?)] ; XXX Ugly contract [safe-signal-depth (any/c . -> . exact-nonnegative-integer?)] ; XXX Ugly contract
[schedule-alarm (number? signal? . -> . void)] [schedule-alarm (number? signal? . -> . void)]
[set-cell! (signal? any/c . -> . void)] ; XXX What is any/c? [set-cell! (signal? any/c . -> . void)] ; XXX What is any/c?
[exceptions signal?]) [exceptions signal?])

View File

@ -83,4 +83,4 @@
[mailbox? (any/c . -> . boolean?)] [mailbox? (any/c . -> . boolean?)]
[new-mailbox (-> mailbox?)] [new-mailbox (-> mailbox?)]
[mailbox-send! (mailbox? (not/c false/c) . -> . void)] [mailbox-send! (mailbox? (not/c false/c) . -> . void)]
[mailbox-receive (mailbox? (or/c false/c number?) (-> any) (any/c . -> . (-> any)) . -> . (-> any))]) [mailbox-receive (mailbox? (or/c false/c number?) (-> any) (any/c . -> . (-> any)) . -> . (-> any))])

View File

@ -3,4 +3,4 @@
(define-struct a-match-fail ()) (define-struct a-match-fail ())
(define match-fail (make-a-match-fail)) (define match-fail (make-a-match-fail))
(provide match-fail) (provide match-fail)

View File

@ -83,4 +83,4 @@
[mailbox? (any/c . -> . boolean?)] [mailbox? (any/c . -> . boolean?)]
[new-mailbox (-> mailbox?)] [new-mailbox (-> mailbox?)]
[mailbox-send! (mailbox? any/c . -> . void)] [mailbox-send! (mailbox? any/c . -> . void)]
[mailbox-receive (mailbox? (or/c false/c number?) (-> any) (any/c . -> . (-> any)) . -> . (-> any))]) [mailbox-receive (mailbox? (or/c false/c number?) (-> any) (any/c . -> . (-> any)) . -> . (-> any))])

View File

@ -356,4 +356,4 @@
(caddr reversed-digits) (caddr reversed-digits)
(cadr reversed-digits) (cadr reversed-digits)
(car reversed-digits))) (car reversed-digits)))
(loop (cdr (cdr (cdr reversed-digits)))))))))))) (loop (cdr (cdr (cdr reversed-digits))))))))))))

View File

@ -165,4 +165,4 @@
(make-object dynamic-snip% beh super-render-fun)] (make-object dynamic-snip% beh super-render-fun)]
[else beh])) [else beh]))
(provide (all-defined-out)) (provide (all-defined-out))

View File

@ -9,4 +9,4 @@
(all-from frtime/frlibs/list) (all-from frtime/frlibs/list)
(all-from frtime/frlibs/etc) (all-from frtime/frlibs/etc)
(all-from frtime/frlibs/math) (all-from frtime/frlibs/math)
(all-from frtime/frlibs/date))) (all-from frtime/frlibs/date)))

View File

@ -112,4 +112,4 @@
(lowered-equiv-id->lifted-id func) func) (lowered-equiv-id->lifted-id func) func)
equiv-map)) equiv-map))
(empty-equiv-map) (empty-equiv-map)
symbol-list)) symbol-list))

View File

@ -35,6 +35,3 @@
(dv:ref* d (list 0 1 2)) => (list 4 2 5) (dv:ref* d (list 0 1 2)) => (list 4 2 5)
)) ))

View File

@ -25,4 +25,4 @@
(channel-get ch) => (list 1 2) (channel-get ch) => (list 1 2)
(! t 'self) => (void) (! t 'self) => (void)
(channel-get ch) => #s(tid test) (channel-get ch) => #s(tid test)
(self) => #s(tid thread1)) (self) => #s(tid thread1))

View File

@ -38,4 +38,4 @@
(heap-pop h) => 3 (heap-pop h) => 3
(heap-pop h) => 2 (heap-pop h) => 2
(heap-pop h) => 1 (heap-pop h) => 1
)) ))

View File

@ -38,4 +38,4 @@
(printf "Channel~n") (printf "Channel~n")
(test-it! ch:new-mailbox ch:mailbox? ch:mailbox-send! ch:mailbox-receive) (test-it! ch:new-mailbox ch:mailbox? ch:mailbox-send! ch:mailbox-receive)
(printf "Semaphore~n") (printf "Semaphore~n")
(test-it! sema:new-mailbox sema:mailbox? sema:mailbox-send! sema:mailbox-receive) (test-it! sema:new-mailbox sema:mailbox? sema:mailbox-send! sema:mailbox-receive)

View File

@ -3,4 +3,4 @@
(==> (filter-e zero? (changes (modulo seconds 10))) (==> (filter-e zero? (changes (modulo seconds 10)))
(lambda (v) (lambda (v)
(printf "~S~n" (value-now x)))) (printf "~S~n" (value-now x))))

View File

@ -91,4 +91,4 @@
(define (phase1) (void)) (define (phase1) (void))
(define (phase2) (define (phase2)
(drscheme:language-configuration:add-language (drscheme:language-configuration:add-language
(make-object ((drscheme:language:get-default-mixin) (make-frtime-language big-frtime-language%))))))) (make-object ((drscheme:language:get-default-mixin) (make-frtime-language big-frtime-language%)))))))

View File

@ -361,4 +361,4 @@
[struct (base html-element) [struct (base html-element)
([attributes (listof attribute?)])] ([attributes (listof attribute?)])]
[struct (meta html-element) [struct (meta html-element)
([attributes (listof attribute?)])]) ([attributes (listof attribute?)])])

View File

@ -616,4 +616,4 @@
;; read-html : [Input-port] -> Html ;; read-html : [Input-port] -> Html
(define read-html (define read-html
(compose repackage-html xml-contents->html read-html-as-xml)) (compose repackage-html xml-contents->html read-html-as-xml))

View File

@ -489,4 +489,4 @@ namespace.
beginner-string-alphabetic? beginner-string-alphabetic?
beginner-string-whitespace? beginner-string-whitespace?
beginner-string-upper-case? beginner-string-upper-case?
beginner-string-lower-case?) beginner-string-lower-case?)

View File

@ -146,4 +146,4 @@
(def/override (modified [snip% s] [any? modified?]) (def/override (modified [snip% s] [any? modified?])
(when (eq? (send s get-admin) this) (when (eq? (send s get-admin) this)
(send editor on-snip-modified s modified?)))) (send editor on-snip-modified s modified?))))

View File

@ -89,4 +89,4 @@
WIDTH-DEPENDS-ON-X WIDTH-DEPENDS-ON-X
HEIGHT-DEPENDS-ON-Y HEIGHT-DEPENDS-ON-Y
WIDTH-DEPENDS-ON-Y WIDTH-DEPENDS-ON-Y
HEIGHT-DEPENDS-ON-X))) HEIGHT-DEPENDS-ON-X)))

View File

@ -66,4 +66,4 @@
(pattern (export e:unit/contract-clause ...))) (pattern (export e:unit/contract-clause ...)))
(define-syntax-class dep-clause #:literals (init-depend) (define-syntax-class dep-clause #:literals (init-depend)
#:transparent #:transparent
(pattern (init-depend s:tagged-sig-id ...))) (pattern (init-depend s:tagged-sig-id ...)))

View File

@ -35,4 +35,4 @@
(define-syntax-for-error extends (define-syntax-for-error extends
"misuse of define-signature keyword") "misuse of define-signature keyword")
(define-syntax-for-error contracted (define-syntax-for-error contracted
"misuse of define-signature keyword") "misuse of define-signature keyword")

View File

@ -291,4 +291,3 @@
(display-parser a grouped-table (send g get-prods) port)) (display-parser a grouped-table (send g get-prods) port))
#:exists 'truncate))) #:exists 'truncate)))
(resolve-conflicts grouped-table suppress)))) (resolve-conflicts grouped-table suppress))))

View File

@ -43,4 +43,4 @@
(test msg #rx"a: invalid keyword") (test msg #rx"a: invalid keyword")
(test src (list kw)))))) (test src (list kw))))))
(print-tests-passed 'keyword-macros-test.ss) (print-tests-passed 'keyword-macros-test.ss)

View File

@ -25,4 +25,4 @@
(syntax rest))] (syntax rest))]
[else (raise-syntax-error #f "bad keyword argument syntax" source rest)]))) [else (raise-syntax-error #f "bad keyword argument syntax" source rest)])))
(provide parse-kw-args) (provide parse-kw-args)

View File

@ -95,4 +95,4 @@
#,quoted?)])) #,quoted?)]))
(define (to-lw/proc stx) #`(add-spans #,(process-arg stx 1))) (define (to-lw/proc stx) #`(add-spans #,(process-arg stx 1)))
(define (to-lw/uq/proc stx) #`(add-spans #,(process-arg stx 0))) (define (to-lw/uq/proc stx) #`(add-spans #,(process-arg stx 0)))

View File

@ -33,4 +33,4 @@
test-files) test-files)
(printf "\nWARNING: didn't run color-test.ss or subst-test.ss\n") (printf "\nWARNING: didn't run color-test.ss or subst-test.ss\n")
(flush) (flush)

View File

@ -205,4 +205,4 @@
(syntax (syntax
(term-let/error-name term-let ((x rhs) ...) body1 body2 ...))] (term-let/error-name term-let ((x rhs) ...) body1 body2 ...))]
[(_ x) [(_ x)
(raise-syntax-error 'term-let "expected at least one body" stx)])) (raise-syntax-error 'term-let "expected at least one body" stx)]))

View File

@ -70,4 +70,4 @@
(quasisyntax/loc stx (quasisyntax/loc stx
(struct struct-name #,pats-in-order))))]))) (struct struct-name #,pats-in-order))))])))
(provide struct*) (provide struct*)

View File

@ -13,4 +13,4 @@
scribble/manual) scribble/manual)
(for-label (all-from-out scheme/base (for-label (all-from-out scheme/base
schemeunit schemeunit
schemeunit/text-ui))) schemeunit/text-ui)))

View File

@ -51,4 +51,4 @@
;; This check should display "I didn't run" ;; This check should display "I didn't run"
(parameterize (parameterize
([current-check-around (lambda (t) (display "I didn't run\n"))]) ([current-check-around (lambda (t) (display "I didn't run\n"))])
(check = 1 1 0.0)) (check = 1 1 0.0))

View File

@ -17,4 +17,4 @@
;; Thesse should raise failures ;; Thesse should raise failures
(test-begin (check-eq? 1 2)) (test-begin (check-eq? 1 2))
(test-case "failure" (check-eq? 1 2)) (test-case "failure" (check-eq? 1 2))

View File

@ -54,4 +54,4 @@
(define yes #t) (define yes #t)
(check-true yes))))))) (check-true yes)))))))
)) ))

View File

@ -68,4 +68,4 @@
(provide test-suite-tests) (provide test-suite-tests)

View File

@ -290,4 +290,3 @@
(run-test (run-test
(make-test-case "dummy" (lambda () (check-true #t))))))) (make-test-case "dummy" (lambda () (check-true #t)))))))
)) ))

View File

@ -9,4 +9,4 @@
the same as @schememodname[scribble/doclang], except that the same as @schememodname[scribble/doclang], except that
@scheme[read-syntax-inside] is used to read the body of the module. In @scheme[read-syntax-inside] is used to read the body of the module. In
other words, the module body starts in Scribble ``text'' mode instead other words, the module body starts in Scribble ``text'' mode instead
of S-expression mode.} of S-expression mode.}

View File

@ -365,4 +365,4 @@
; skipped-step is used to indicate that the "before" step was skipped. ; skipped-step is used to indicate that the "before" step was skipped.
(define-struct skipped-step ()) (define-struct skipped-step ())
(define the-skipped-step (make-skipped-step)) (define the-skipped-step (make-skipped-step))

View File

@ -428,4 +428,4 @@
(equal? ((span-overlap 13 23) (model:make-posn-info 14 4)) #t) (equal? ((span-overlap 13 23) (model:make-posn-info 14 4)) #t)
(equal? ((span-overlap 16 17) (model:make-posn-info 14 4)) #t) (equal? ((span-overlap 16 17) (model:make-posn-info 14 4)) #t)
(equal? ((span-overlap 16 24) (model:make-posn-info 14 4)) #t) (equal? ((span-overlap 16 24) (model:make-posn-info 14 4)) #t)
(equal? ((span-overlap 18 21) (model:make-posn-info 14 4)) #f)) (equal? ((span-overlap 18 21) (model:make-posn-info 14 4)) #f))

View File

@ -1,3 +1,3 @@
(module line3d mzscheme (module line3d mzscheme
(provide (all-from (lib "line3d.ss" "deinprogramm"))) (provide (all-from (lib "line3d.ss" "deinprogramm")))
(require (lib "line3d.ss" "deinprogramm"))) (require (lib "line3d.ss" "deinprogramm")))

View File

@ -1,3 +1,3 @@
(module world mzscheme (module world mzscheme
(provide (all-from (lib "world.ss" "deinprogramm"))) (provide (all-from (lib "world.ss" "deinprogramm")))
(require (lib "world.ss" "deinprogramm"))) (require (lib "world.ss" "deinprogramm")))

View File

@ -3,4 +3,4 @@
(define tools (list (list "test-tool.scm"))) (define tools (list (list "test-tool.scm")))
(define tool-names '("Test Engine")) (define tool-names '("Test Engine"))
(define scribblings '(("test-engine.scrbl" () (tool-library)))) (define scribblings '(("test-engine.scrbl" () (tool-library))))

View File

@ -3,4 +3,4 @@
(require schemeunit/text-ui) (require schemeunit/text-ui)
(require tests/deinprogramm/contract) (require tests/deinprogramm/contract)
(run-tests all-contract-tests) (run-tests all-contract-tests)

View File

@ -3,4 +3,4 @@
(require schemeunit/text-ui) (require schemeunit/text-ui)
(require tests/deinprogramm/image) (require tests/deinprogramm/image)
(run-tests all-image-tests) (run-tests all-image-tests)

View File

@ -81,4 +81,4 @@
(define (exprs->string exprs) (define (exprs->string exprs)
(apply string-append (apply string-append
(cdr (apply append (map (lambda (x) (list " " (format "~s" x))) (cdr (apply append (map (lambda (x) (list " " (format "~s" x)))
exprs))))) exprs)))))

View File

@ -6,4 +6,4 @@
(define (f x) #t) (define (f x) #t)
(: x Number) (: x Number)
(define x (f 3)) (define x (f 3))

View File

@ -22,4 +22,4 @@
msg expected actual))))))) msg expected actual)))))))
(apply check-all tests) ; Works in untyped, but not in typed (apply check-all tests) ; Works in untyped, but not in typed
(check-all (car tests) (cadr tests)) ; Works in typed or untyped (check-all (car tests) (cadr tests)) ; Works in typed or untyped

View File

@ -35,4 +35,4 @@
#:args (#{filename : String}) ; expect one command-line argument: <filename> #:args (#{filename : String}) ; expect one command-line argument: <filename>
; return the argument as a filename to compile ; return the argument as a filename to compile
filename)) filename))

View File

@ -22,4 +22,4 @@
(sum2 (Cons-rest alon)))])) (sum2 (Cons-rest alon)))]))
(sum (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty))))) (sum (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty)))))
(sum2 (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty))))) (sum2 (make-Cons 5 (make-Cons 3 (make-Cons 1 (make-Empty)))))

View File

@ -8,4 +8,4 @@
(require 'm) (require 'm)
f f

View File

@ -12,4 +12,4 @@
(: f (Even -> String)) (: f (Even -> String))
(define (f e) (format "~a" e)) (define (f e) (format "~a" e))
(f y) (f y)

View File

@ -5,4 +5,4 @@
(define (add-lists lst . lsts) (define (add-lists lst . lsts)
(apply map #{+ :: (Number Number * -> Number)} lst lsts)) (apply map #{+ :: (Number Number * -> Number)} lst lsts))
(add-lists '(1 2 3) '(4 5 6) '(7 8 9)) (add-lists '(1 2 3) '(4 5 6) '(7 8 9))

View File

@ -861,4 +861,4 @@
(test-contract-error top-level "make-student" "not a string" (test-contract-error top-level "make-student" "not a string"
(make-student 4 3)) (make-student 4 3))
(test-contract-error top-level "student-id" "not a student" (test-contract-error top-level "student-id" "not a student"
(student-id 'a))) (student-id 'a)))

View File

@ -426,4 +426,4 @@
#;(test-serve/dispatch) #;(test-serve/dispatch)
#;(require (planet schematics/schemeunit:3/text-ui)) #;(require (planet schematics/schemeunit:3/text-ui))
#;(run-tests all-dispatch-tests) #;(run-tests all-dispatch-tests)

View File

@ -121,4 +121,4 @@
(lambda () (collect (dispatch #f a-dir) (req #t #"HEAD" empty)))))) (lambda () (collect (dispatch #f a-dir) (req #t #"HEAD" empty))))))
#;(require (planet schematics/schemeunit:3/text-ui)) #;(require (planet schematics/schemeunit:3/text-ui))
#;(run-tests dispatch-files-tests) #;(run-tests dispatch-files-tests)

View File

@ -167,4 +167,4 @@
#| #|
(require schemeunit/text-ui) (require schemeunit/text-ui)
(run-tests dispatch-lang-tests) (run-tests dispatch-lang-tests)
|# |#

View File

@ -257,4 +257,4 @@
#| #|
(require (planet "graphical-ui.ss" ("schematics" "schemeunit.plt" 2))) (require (planet "graphical-ui.ss" ("schematics" "schemeunit.plt" 2)))
(test/graphical-ui all-formlets-tests) (test/graphical-ui all-formlets-tests)
|# |#

View File

@ -132,4 +132,4 @@ END
"GET" Safari-Example-alist) "GET" Safari-Example-alist)
#t))) #t)))
)) ))

View File

@ -308,4 +308,4 @@
#| #|
(require schemeunit/text-ui) (require schemeunit/text-ui)
(run-tests abort-resume-tests) (run-tests abort-resume-tests)
|# |#

View File

@ -39,4 +39,4 @@
#| #|
(require (planet schematics/schemeunit:3/text-ui)) (require (planet schematics/schemeunit:3/text-ui))
(run-tests cache-table-tests) (run-tests cache-table-tests)
|# |#

View File

@ -29,4 +29,4 @@
"bad header" "bad header"
(check-exn exn? (check-exn exn?
(lambda () (lambda ()
(gunzip/bytes #"1234567890")))))) (gunzip/bytes #"1234567890"))))))

View File

@ -54,4 +54,4 @@
(test-case "see-other" (check-true (redirection-status? see-other)))))) (test-case "see-other" (check-true (redirection-status? see-other))))))
;(require (planet schematics/schemeunit:3/text-ui)) ;(require (planet schematics/schemeunit:3/text-ui))
;(run-tests helpers-tests) ;(run-tests helpers-tests)

View File

@ -129,4 +129,4 @@
#| #|
(require (planet schematics/schemeunit:3/text-ui)) (require (planet schematics/schemeunit:3/text-ui))
(run-tests all-stuffers-tests) (run-tests all-stuffers-tests)
|# |#

View File

@ -710,4 +710,4 @@ END
(test-equal? (format "~S" plist) (read-plist in) plist))] (test-equal? (format "~S" plist) (read-plist in) plist))]
(test-plist-round-trip example)))))) (test-plist-round-trip example))))))
(run-tests xml-tests) (run-tests xml-tests)

View File

@ -81,4 +81,4 @@
(list 'make-location (list 'make-location
(location-line e) (location-line e)
(location-char e) (location-char e)
(location-offset e)))) (location-offset e))))

View File

@ -174,4 +174,4 @@
(loop #'rest (cons #'var so-far))]))) (loop #'rest (cons #'var so-far))])))
(define (annotate x) (top-level-expr-iterator x))) (define (annotate x) (top-level-expr-iterator x)))

View File

@ -48,4 +48,4 @@
(define (add-alias from to) (define (add-alias from to)
(when (lookup-type-name to (lambda () #f)) (when (lookup-type-name to (lambda () #f))
(register-resolved-type-alias from (make-Name to)))) (register-resolved-type-alias from (make-Name to))))

View File

@ -685,4 +685,4 @@
[conjugate (N . -> . N)] [conjugate (N . -> . N)]
[sinh (N . -> . N)] [sinh (N . -> . N)]
[cosh (N . -> . N)] [cosh (N . -> . N)]
[tanh (N . -> . N)] [tanh (N . -> . N)]

View File

@ -583,4 +583,4 @@
(define parse-tc-results/id (parse/id parse-tc-results)) (define parse-tc-results/id (parse/id parse-tc-results))
(define parse-type/id (parse/id parse-type)) (define parse-type/id (parse/id parse-type))

View File

@ -319,4 +319,4 @@ Examples:
@schememod[typed-scheme/no-check @schememod[typed-scheme/no-check
(: x Number) (: x Number)
(define x "not-a-number")] (define x "not-a-number")]

View File

@ -62,4 +62,4 @@
(or (ormap match? (syntax->list #'cls)) (or (ormap match? (syntax->list #'cls))
(find #'body))] (find #'body))]
[e:core-expr [e:core-expr
(ormap find (syntax->list #'(e.expr ...)))])) (ormap find (syntax->list #'(e.expr ...)))]))

View File

@ -65,4 +65,4 @@
(domain-mismatches t msg-doms msg-rests msg-drests msg-rngs argtypes #f #f #:expected expected) (domain-mismatches t msg-doms msg-rests msg-drests msg-rngs argtypes #f #f #:expected expected)
(if (not (for/and ([t (apply append (map fv/list msg-doms))]) (memq t msg-vars))) (if (not (for/and ([t (apply append (map fv/list msg-doms))]) (memq t msg-vars)))
(string-append "Type Variables: " (stringify msg-vars) "\n") (string-append "Type Variables: " (stringify msg-vars) "\n")
"")))))])) "")))))]))

View File

@ -204,4 +204,4 @@
(define (tc-results->values tc) (define (tc-results->values tc)
(match tc (match tc
[(tc-results: ts) (-values ts)])) [(tc-results: ts) (-values ts)]))

View File

@ -253,4 +253,4 @@
(make-Function (list (make-arr* (append args (take opt-args i)) result)))))) (make-Function (list (make-arr* (append args (take opt-args i)) result))))))
(define-syntax-rule (->opt args ... [opt ...] res) (define-syntax-rule (->opt args ... [opt ...] res)
(opt-fn (list args ...) (list opt ...) res)) (opt-fn (list args ...) (list opt ...) res))

View File

@ -306,4 +306,4 @@
;(subtype (make-poly '(a) (make-tvar 'a)) (make-lst N)) ;(subtype (make-poly '(a) (make-tvar 'a)) (make-lst N))
;;problem: ;;problem:
;; (subtype (make-Mu 'x (make-Syntax (make-Union (list (make-Base 'Number #'number?) (make-F 'x))))) (make-Syntax (make-Univ))) ;; (subtype (make-Mu 'x (make-Syntax (make-Union (list (make-Base 'Number #'number?) (make-F 'x))))) (make-Syntax (make-Univ)))

View File

@ -30,4 +30,4 @@
(define-pred-stxclass byte-pregexp byte-pregexp?) (define-pred-stxclass byte-pregexp byte-pregexp?)
(define-pred-stxclass byte-regexp byte-regexp?) (define-pred-stxclass byte-regexp byte-regexp?)
(define-pred-stxclass regexp regexp?) (define-pred-stxclass regexp regexp?)
(define-pred-stxclass bytes bytes?) (define-pred-stxclass bytes bytes?)

View File

@ -181,4 +181,4 @@ don't depend on any other portion of the system
(define-syntax-class (id-from sym mod) (define-syntax-class (id-from sym mod)
(pattern i:id (pattern i:id
#:when (id-from? #'i sym mod))) #:when (id-from? #'i sym mod)))

View File

@ -333,4 +333,4 @@ at least theoretically.
(and (hash? h) (and (hash? h)
(for/and ([(k v) h]) (for/and ([(k v) h])
(and (k/c? k) (and (k/c? k)
(v/c? v))))))) (v/c? v)))))))

View File

@ -19,4 +19,4 @@
[tar-gzip (Path-String Path-String * -> Void)] [tar-gzip (Path-String Path-String * -> Void)]
) )
(provide tar tar->output tar-gzip) (provide tar tar->output tar-gzip)

View File

@ -40,4 +40,4 @@
(build-list/native how-many-numbers (build-list/native how-many-numbers
(lambda (i) (lambda (i)
(get-number-from-user (get-number-from-user
(format "Enter number ~a" (add1 i))))))))))) (format "Enter number ~a" (add1 i)))))))))))

View File

@ -36,4 +36,4 @@
[("display-sum" (integer-arg)) display-sum] [("display-sum" (integer-arg)) display-sum]
[else get-first])) [else get-first]))
(serve/dispatch start) (serve/dispatch start)

View File

@ -2,4 +2,4 @@
(define (start initial-request) (define (start initial-request)
`(html (head (title "Foo")) `(html (head (title "Foo"))
(body (a ([href #f]) (body (a ([href #f])
"Zog")))) "Zog"))))

View File

@ -9,4 +9,4 @@
[else [else
(make-response/basic (make-response/basic
401 #"Unauthorized" (current-seconds) TEXT/HTML-MIME-TYPE 401 #"Unauthorized" (current-seconds) TEXT/HTML-MIME-TYPE
(list (make-basic-auth-header (format "Basic Auth Test: ~a" (gensym)))))])) (list (make-basic-auth-header (format "Basic Auth Test: ~a" (gensym)))))]))

View File

@ -32,4 +32,4 @@
[else [else
(redirect-to (redirect-to
(url->string (request-uri req)) (url->string (request-uri req))
see-other)])) see-other)]))

View File

@ -21,4 +21,4 @@
`(html (head (title "Digest Auth Test")) `(html (head (title "Digest Auth Test"))
(body (body
(h1 ,(if pass? "Pass!" "No Pass!")) (h1 ,(if pass? "Pass!" "No Pass!"))
(pre ,(pretty-format alist))))])) (pre ,(pretty-format alist))))]))

View File

@ -4,4 +4,4 @@
web-server/dispatch/url-patterns) web-server/dispatch/url-patterns)
(provide (all-from-out web-server/dispatch/syntax (provide (all-from-out web-server/dispatch/syntax
web-server/dispatch/serve web-server/dispatch/serve
web-server/dispatch/url-patterns)) web-server/dispatch/url-patterns))

View File

@ -16,4 +16,4 @@
(syntax/loc stx (out-expander id)))]))))])) (syntax/loc stx (out-expander id)))]))))]))
(provide bidi-match-going-in? (provide bidi-match-going-in?
define-bidi-match-expander) define-bidi-match-expander)

View File

@ -19,4 +19,4 @@
(provide/contract (provide/contract
[make-coerce-safe? ((any/c . -> . any/c) . -> . (any/c . -> . boolean?))]) [make-coerce-safe? ((any/c . -> . any/c) . -> . (any/c . -> . boolean?))])
(provide (provide
define-coercion-match-expander) define-coercion-match-expander)

View File

@ -2,4 +2,4 @@
(require web-server/dispatch/coercion (require web-server/dispatch/coercion
web-server/dispatch/bidi-match) web-server/dispatch/bidi-match)
(provide (all-from-out web-server/dispatch/coercion (provide (all-from-out web-server/dispatch/coercion
web-server/dispatch/bidi-match)) web-server/dispatch/bidi-match))

View File

@ -22,4 +22,4 @@
(provide url/path (provide url/path
url/paths url/paths
request/url) request/url)

View File

@ -90,4 +90,4 @@
[dispatch-pattern-not-... (syntax? . -> . (listof syntax?))] [dispatch-pattern-not-... (syntax? . -> . (listof syntax?))]
[dispatch-pattern->dispatch-pattern/ids (syntax? . -> . (listof syntax?))] [dispatch-pattern->dispatch-pattern/ids (syntax? . -> . (listof syntax?))]
[dispatch-pattern? (syntax? . -> . boolean?)] [dispatch-pattern? (syntax? . -> . boolean?)]
[dispatch-pattern/ids? (syntax? . -> . boolean?)]) [dispatch-pattern/ids? (syntax? . -> . boolean?)])

View File

@ -8,4 +8,4 @@
#:servlet-regexp #rx"")) #:servlet-regexp #rx""))
(provide/contract (provide/contract
[serve/dispatch ((request? . -> . response/c) . -> . void)]) [serve/dispatch ((request? . -> . response/c) . -> . void)])

View File

@ -124,4 +124,4 @@
(provide dispatch-case (provide dispatch-case
dispatch-url dispatch-url
dispatch-rules) dispatch-rules)

Some files were not shown because too many files have changed in this diff Show More