newlines at EOFs
svn: r13105
This commit is contained in:
parent
0a51fa26e6
commit
d1a0086471
|
@ -309,4 +309,4 @@
|
||||||
(on-new nu)
|
(on-new nu)
|
||||||
(on-msg process)
|
(on-msg process)
|
||||||
#;
|
#;
|
||||||
(on-tick (lambda (u x) (printf "hello!\n") (list u)) 1)))
|
(on-tick (lambda (u x) (printf "hello!\n") (list u)) 1)))
|
||||||
|
|
|
@ -195,4 +195,4 @@
|
||||||
(send bdc set-bitmap #f)
|
(send bdc set-bitmap #f)
|
||||||
bitmap)
|
bitmap)
|
||||||
|
|
||||||
;(make-large-letters-dialog ";" #\; #f)
|
;(make-large-letters-dialog ";" #\; #f)
|
||||||
|
|
|
@ -122,4 +122,4 @@
|
||||||
(make-special-comment "comment"))
|
(make-special-comment "comment"))
|
||||||
(super-instantiate ())
|
(super-instantiate ())
|
||||||
(inherit set-snipclass)
|
(inherit set-snipclass)
|
||||||
(set-snipclass snipclass))))
|
(set-snipclass snipclass))))
|
||||||
|
|
|
@ -96,4 +96,4 @@
|
||||||
(if (not embedded-pos)
|
(if (not embedded-pos)
|
||||||
(next-loop)
|
(next-loop)
|
||||||
(values embedded embedded-pos)))]
|
(values embedded embedded-pos)))]
|
||||||
[else (next-loop)])))))))
|
[else (next-loop)])))))))
|
||||||
|
|
|
@ -465,4 +465,4 @@
|
||||||
(open (prefix frame: frame^))
|
(open (prefix frame: frame^))
|
||||||
(open (prefix handler: handler^))
|
(open (prefix handler: handler^))
|
||||||
(open (prefix scheme: scheme^))
|
(open (prefix scheme: scheme^))
|
||||||
(open (prefix main: main^))))
|
(open (prefix main: main^))))
|
||||||
|
|
|
@ -3,4 +3,4 @@
|
||||||
(define game "chat-noir-unit.ss")
|
(define game "chat-noir-unit.ss")
|
||||||
(define game-set "Puzzle Games")
|
(define game-set "Puzzle Games")
|
||||||
(define compile-omit-files '("chat-noir.ss"))
|
(define compile-omit-files '("chat-noir.ss"))
|
||||||
(define name "Chat Noir")
|
(define name "Chat Noir")
|
||||||
|
|
|
@ -11,4 +11,4 @@
|
||||||
|
|
||||||
(start 200 200)
|
(start 200 200)
|
||||||
(check-error (hangman-list reveal-list draw-next-part)
|
(check-error (hangman-list reveal-list draw-next-part)
|
||||||
"draw-next-part: result of type <boolean> expected, given: #<void>")
|
"draw-next-part: result of type <boolean> expected, given: #<void>")
|
||||||
|
|
|
@ -437,4 +437,4 @@
|
||||||
(define (lib-module-path? mp)
|
(define (lib-module-path? mp)
|
||||||
(or (symbol? mp)
|
(or (symbol? mp)
|
||||||
(and (pair? mp) (memq (car mp) '(lib planet)))))
|
(and (pair? mp) (memq (car mp) '(lib planet)))))
|
||||||
|#
|
|#
|
||||||
|
|
|
@ -118,4 +118,4 @@
|
||||||
(define f (new frame% [label "test"]))
|
(define f (new frame% [label "test"]))
|
||||||
(define c (new close-icon% [parent f] [callback (λ () (printf "hi\n"))]))
|
(define c (new close-icon% [parent f] [callback (λ () (printf "hi\n"))]))
|
||||||
(define gb (new grow-box-spacer-pane% [parent f]))
|
(define gb (new grow-box-spacer-pane% [parent f]))
|
||||||
(send f show #t))
|
(send f show #t))
|
||||||
|
|
|
@ -85,4 +85,4 @@
|
||||||
(define (flat-contract/predicate? pred)
|
(define (flat-contract/predicate? pred)
|
||||||
(or (flat-contract? pred)
|
(or (flat-contract? pred)
|
||||||
(and (procedure? pred)
|
(and (procedure? pred)
|
||||||
(procedure-arity-includes? pred 1))))
|
(procedure-arity-includes? pred 1))))
|
||||||
|
|
|
@ -78,4 +78,4 @@ traced call. It receives the name of the function, the function's
|
||||||
ordinary arguments, its keywords, the values of the keywords, and a
|
ordinary arguments, its keywords, the values of the keywords, and a
|
||||||
number indicating the depth of the call.
|
number indicating the depth of the call.
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -53,4 +53,4 @@ connections:
|
||||||
trusted root certificates; @scheme[#f] disables verification of
|
trusted root certificates; @scheme[#f] disables verification of
|
||||||
peer server certificates}
|
peer server certificates}
|
||||||
|
|
||||||
]}
|
]}
|
||||||
|
|
|
@ -668,4 +668,4 @@ Returns the altitude (in degrees) from which the 3-D box is viewed.}
|
||||||
|
|
||||||
Returns the azimuthal angle.}
|
Returns the azimuthal angle.}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -611,4 +611,4 @@ with their values specified by the ArrayInit.
|
||||||
@item{@(scheme false)}
|
@item{@(scheme false)}
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -252,4 +252,4 @@ The initialization statements pass the value provided to the constructor to the
|
||||||
}
|
}
|
||||||
@item{@(scheme true)}
|
@item{@(scheme true)}
|
||||||
@item{@(scheme false)}
|
@item{@(scheme false)}
|
||||||
}
|
}
|
||||||
|
|
|
@ -421,4 +421,4 @@ us unique. Each constructor may set its own @elemref['(inta "mods")]{access}. A
|
||||||
@item{@(scheme false)}
|
@item{@(scheme false)}
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -400,4 +400,4 @@ parameters, then the first statement in the constructor must be a @elemref['(int
|
||||||
@item{@(scheme false)}
|
@item{@(scheme false)}
|
||||||
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -920,4 +920,4 @@ reflects the (broken) spec).
|
||||||
;; timing test
|
;; timing test
|
||||||
#;
|
#;
|
||||||
(time (run-tests)
|
(time (run-tests)
|
||||||
(run-big-test))
|
(run-big-test))
|
||||||
|
|
|
@ -163,4 +163,4 @@ semaphores make things much more predictable...
|
||||||
(semaphore-post (semaphore x)))
|
(semaphore-post (semaphore x)))
|
||||||
(begin (semaphore-wait (semaphore x))
|
(begin (semaphore-wait (semaphore x))
|
||||||
(set! y (cons 2 y))
|
(set! y (cons 2 y))
|
||||||
(semaphore-post (semaphore x))))))
|
(semaphore-post (semaphore x))))))
|
||||||
|
|
|
@ -105,4 +105,4 @@
|
||||||
(define (show term)
|
(define (show term)
|
||||||
(traces reductions term #:pred (pred term)))
|
(traces reductions term #:pred (pred term)))
|
||||||
|
|
||||||
(show '((lambda (x (num -> num)) 1) ((lambda (x (num -> num)) x) (lambda (x num) x))))
|
(show '((lambda (x (num -> num)) 1) ((lambda (x (num -> num)) x) (lambda (x num) x))))
|
||||||
|
|
|
@ -68,4 +68,4 @@
|
||||||
(term (λ (z1 x1) (λ (x) z))))
|
(term (λ (z1 x1) (λ (x) z))))
|
||||||
(test-equal (term (subst (x 1 (λ (x x) x))))
|
(test-equal (term (subst (x 1 (λ (x x) x))))
|
||||||
(term (λ (x x) x)))
|
(term (λ (x x) x)))
|
||||||
(test-results))
|
(test-results))
|
||||||
|
|
|
@ -85,4 +85,4 @@
|
||||||
[initial-char-width (parameter/c number?)])
|
[initial-char-width (parameter/c number?)])
|
||||||
|
|
||||||
(provide reduction-steps-cutoff
|
(provide reduction-steps-cutoff
|
||||||
default-pretty-printer)
|
default-pretty-printer)
|
||||||
|
|
|
@ -5,4 +5,4 @@
|
||||||
(provide (all-from-out "reduction-semantics.ss"
|
(provide (all-from-out "reduction-semantics.ss"
|
||||||
"gui.ss"
|
"gui.ss"
|
||||||
"pict.ss"))
|
"pict.ss"))
|
||||||
(provide render-language)
|
(provide render-language)
|
||||||
|
|
|
@ -102,4 +102,4 @@
|
||||||
[lw->pict
|
[lw->pict
|
||||||
(-> (or/c (listof symbol?) compiled-lang?) lw? pict?)]
|
(-> (or/c (listof symbol?) compiled-lang?) lw? pict?)]
|
||||||
[render-lw
|
[render-lw
|
||||||
(-> (or/c (listof symbol?) compiled-lang?) lw? pict?)])
|
(-> (or/c (listof symbol?) compiled-lang?) lw? pict?)])
|
||||||
|
|
|
@ -66,4 +66,4 @@ In the other window, you expect to see the currently unreducted terms in green a
|
||||||
(,(* (term number_1) 2) word)
|
(,(* (term number_1) 2) word)
|
||||||
dup))
|
dup))
|
||||||
'(1 word)
|
'(1 word)
|
||||||
#:pred last-color-pred))
|
#:pred last-color-pred))
|
||||||
|
|
|
@ -762,4 +762,4 @@
|
||||||
[else (for-each find/lw e)]))
|
[else (for-each find/lw e)]))
|
||||||
|
|
||||||
(find/e in-lws)
|
(find/e in-lws)
|
||||||
lws)
|
lws)
|
||||||
|
|
|
@ -40,4 +40,4 @@
|
||||||
[(string? e) (void)]
|
[(string? e) (void)]
|
||||||
[else (for-each find-min/lw e)]))
|
[else (for-each find-min/lw e)]))
|
||||||
(find-min/lw lw)
|
(find-min/lw lw)
|
||||||
(values min-line min-col)))
|
(values min-line min-col)))
|
||||||
|
|
|
@ -50,4 +50,4 @@
|
||||||
|
|
||||||
(render-language x0-10)
|
(render-language x0-10)
|
||||||
|
|
||||||
(printf "pict-test.ss passed\n"))
|
(printf "pict-test.ss passed\n"))
|
||||||
|
|
|
@ -1847,4 +1847,4 @@
|
||||||
(provide relation-coverage
|
(provide relation-coverage
|
||||||
covered-cases
|
covered-cases
|
||||||
(rename-out [fresh-coverage make-coverage])
|
(rename-out [fresh-coverage make-coverage])
|
||||||
coverage?)
|
coverage?)
|
||||||
|
|
|
@ -177,4 +177,4 @@
|
||||||
(current-continuation-marks)
|
(current-continuation-marks)
|
||||||
(list (id/depth-id x) (id/depth-id (car dups)))))))
|
(list (id/depth-id x) (id/depth-id (car dups)))))))
|
||||||
(not same-id?)))
|
(not same-id?)))
|
||||||
(loop (cdr dups))))]))))
|
(loop (cdr dups))))]))))
|
||||||
|
|
|
@ -859,4 +859,4 @@ To do a better job of not generating programs with free variables,
|
||||||
generation-decisions)
|
generation-decisions)
|
||||||
|
|
||||||
(provide/contract
|
(provide/contract
|
||||||
[find-base-cases (-> compiled-lang? hash?)])
|
[find-base-cases (-> compiled-lang? hash?)])
|
||||||
|
|
|
@ -193,4 +193,4 @@
|
||||||
|
|
||||||
(super-new)
|
(super-new)
|
||||||
(inherit use-style-background)
|
(inherit use-style-background)
|
||||||
(use-style-background #t))))
|
(use-style-background #t))))
|
||||||
|
|
|
@ -76,4 +76,4 @@
|
||||||
(term (((metafun x) y) ...))))
|
(term (((metafun x) y) ...))))
|
||||||
'((whatever 4) (whatever 5) (whatever 6)))
|
'((whatever 4) (whatever 5) (whatever 6)))
|
||||||
|
|
||||||
(print-tests-passed 'term-test.ss))
|
(print-tests-passed 'term-test.ss))
|
||||||
|
|
|
@ -127,4 +127,4 @@
|
||||||
(with-syntax ([x rhs] ...)
|
(with-syntax ([x rhs] ...)
|
||||||
(begin body1 body2 ...)))]
|
(begin 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)])))
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
(module underscore-allowed mzscheme
|
(module underscore-allowed mzscheme
|
||||||
(provide underscore-allowed)
|
(provide underscore-allowed)
|
||||||
(define underscore-allowed '(any number string variable)))
|
(define underscore-allowed '(any number string variable)))
|
||||||
|
|
|
@ -70,4 +70,4 @@
|
||||||
(one-of/c #t (void)))]
|
(one-of/c #t (void)))]
|
||||||
[relation-coverage (parameter/c (or/c false/c coverage?))]
|
[relation-coverage (parameter/c (or/c false/c coverage?))]
|
||||||
[make-coverage (-> reduction-relation? coverage?)]
|
[make-coverage (-> reduction-relation? coverage?)]
|
||||||
[covered-cases (-> coverage? (listof (cons/c string? natural-number/c)))])
|
[covered-cases (-> coverage? (listof (cons/c string? natural-number/c)))])
|
||||||
|
|
|
@ -516,4 +516,4 @@
|
||||||
#:property name-prop (λ (ctc) (predicate-contract-name ctc))
|
#:property name-prop (λ (ctc) (predicate-contract-name ctc))
|
||||||
#:property flat-prop (λ (ctc) (predicate-contract-pred ctc)))
|
#:property flat-prop (λ (ctc) (predicate-contract-pred ctc)))
|
||||||
|
|
||||||
(define (build-flat-contract name pred) (make-predicate-contract name pred))
|
(define (build-flat-contract name pred) (make-predicate-contract name pred))
|
||||||
|
|
|
@ -127,4 +127,3 @@
|
||||||
(ormap f l1 l2))]
|
(ormap f l1 l2))]
|
||||||
[(f . args) (apply ormap f args)])])
|
[(f . args) (apply ormap f args)])])
|
||||||
ormap)))
|
ormap)))
|
||||||
|
|
|
@ -240,4 +240,4 @@
|
||||||
(list (make-element 'italic (list i)))])]
|
(list (make-element 'italic (list i)))])]
|
||||||
[(eq? i 'rsquo) (list 'prime)]
|
[(eq? i 'rsquo) (list 'prime)]
|
||||||
[else (list i)])))
|
[else (list i)])))
|
||||||
c))))
|
c))))
|
||||||
|
|
|
@ -349,4 +349,4 @@
|
||||||
|
|
||||||
@(defmethod (help-menu:after-about (menu (is-a?/c menu-item%))) void? "This method is called " "after" " the addition of the" "\n" (tt "about") " menu-item. Override it to add additional" "\n" "menu items at that point. ")
|
@(defmethod (help-menu:after-about (menu (is-a?/c menu-item%))) void? "This method is called " "after" " the addition of the" "\n" (tt "about") " menu-item. Override it to add additional" "\n" "menu items at that point. ")
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -2,4 +2,4 @@
|
||||||
|
|
||||||
(require scribble/extract)
|
(require scribble/extract)
|
||||||
|
|
||||||
(provide-extracted (lib "tool-lib.ss" "drscheme"))
|
(provide-extracted (lib "tool-lib.ss" "drscheme"))
|
||||||
|
|
|
@ -401,4 +401,4 @@
|
||||||
(qualifier)
|
(qualifier)
|
||||||
(first-ec #t qualifier (if (not expression)) #f) ))
|
(first-ec #t qualifier (if (not expression)) #f) ))
|
||||||
|
|
||||||
)
|
)
|
||||||
|
|
|
@ -35,4 +35,4 @@
|
||||||
(raise-syntax-error
|
(raise-syntax-error
|
||||||
'define-generator
|
'define-generator
|
||||||
"expected either (define-generator <id> <proc>) or (define-generator (<id1> <id2>) <body> ... , got: "
|
"expected either (define-generator <id> <proc>) or (define-generator (<id1> <id2>) <body> ... , got: "
|
||||||
stx)])))
|
stx)])))
|
||||||
|
|
|
@ -14,4 +14,4 @@
|
||||||
; of a generator clause as input. For example
|
; of a generator clause as input. For example
|
||||||
; #'(:list x (list 1 2 3)). The function form->loop
|
; #'(:list x (list 1 2 3)). The function form->loop
|
||||||
; returns a loop structure.
|
; returns a loop structure.
|
||||||
(define-struct generator (name clause->loop)))
|
(define-struct generator (name clause->loop)))
|
||||||
|
|
|
@ -455,4 +455,4 @@
|
||||||
"expected (:while <generator> <expr>) got: "
|
"expected (:while <generator> <expr>) got: "
|
||||||
form-stx)]))
|
form-stx)]))
|
||||||
|
|
||||||
)
|
)
|
||||||
|
|
|
@ -107,4 +107,4 @@
|
||||||
(if ne2
|
(if ne2
|
||||||
(loop ls ...))))))))))]))
|
(loop ls ...))))))))))]))
|
||||||
|
|
||||||
)
|
)
|
||||||
|
|
|
@ -90,4 +90,4 @@
|
||||||
; anything else
|
; anything else
|
||||||
|
|
||||||
((ec-simplify expression)
|
((ec-simplify expression)
|
||||||
#'expression ))))
|
#'expression ))))
|
||||||
|
|
|
@ -13,4 +13,4 @@
|
||||||
by the chosen frame
|
by the chosen frame
|
||||||
(bound) : all bound vars
|
(bound) : all bound vars
|
||||||
(v <x>) : value of a named variable
|
(v <x>) : value of a named variable
|
||||||
(src) : the source code
|
(src) : the source code
|
||||||
|
|
|
@ -23,4 +23,4 @@
|
||||||
. -> . simple-rel-to-module-path-v/c)]
|
. -> . simple-rel-to-module-path-v/c)]
|
||||||
[collapse-module-path-index ((or/c symbol? module-path-index?)
|
[collapse-module-path-index ((or/c symbol? module-path-index?)
|
||||||
rel-to-module-path-v/c
|
rel-to-module-path-v/c
|
||||||
. -> . simple-rel-to-module-path-v/c)])
|
. -> . simple-rel-to-module-path-v/c)])
|
||||||
|
|
|
@ -17,4 +17,4 @@
|
||||||
|
|
||||||
(define (module-path-v? v)
|
(define (module-path-v? v)
|
||||||
(or (path? v)
|
(or (path? v)
|
||||||
(module-path? v)))
|
(module-path? v)))
|
||||||
|
|
|
@ -76,4 +76,4 @@
|
||||||
;; -------------------------------
|
;; -------------------------------
|
||||||
|
|
||||||
(command-line #:args (n)
|
(command-line #:args (n)
|
||||||
(main (string->number n)))
|
(main (string->number n)))
|
||||||
|
|
|
@ -235,4 +235,4 @@
|
||||||
|
|
||||||
|#|#
|
|#|#
|
||||||
|
|
||||||
)
|
)
|
||||||
|
|
|
@ -346,4 +346,4 @@
|
||||||
{fun main {foo} {call foo foo}}}"
|
{fun main {foo} {call foo foo}}}"
|
||||||
1))
|
1))
|
||||||
|
|
||||||
)
|
)
|
||||||
|
|
|
@ -219,4 +219,4 @@ Evaluation rules:
|
||||||
{fun {x} {fun {y} {+ x y}}}}
|
{fun {x} {fun {y} {+ x y}}}}
|
||||||
123}")
|
123}")
|
||||||
=> 124)
|
=> 124)
|
||||||
|#)
|
|#)
|
||||||
|
|
|
@ -10,4 +10,4 @@
|
||||||
(apply (case-lambda: (([x : Number] . [y : Number ... a]) x)
|
(apply (case-lambda: (([x : Number] . [y : Number ... a]) x)
|
||||||
(([x : String] [y : String] . [z : String *]) 0)
|
(([x : String] [y : String] . [z : String *]) 0)
|
||||||
([y : String *] 0))
|
([y : String *] 0))
|
||||||
w))
|
w))
|
||||||
|
|
|
@ -4,4 +4,4 @@
|
||||||
(define (f3 x y) (+ x y))
|
(define (f3 x y) (+ x y))
|
||||||
|
|
||||||
(: f2 (case-lambda (Number * -> Number)))
|
(: f2 (case-lambda (Number * -> Number)))
|
||||||
(define (f2 x y) (+ x y))
|
(define (f2 x y) (+ x y))
|
||||||
|
|
|
@ -8,4 +8,4 @@
|
||||||
(: g (All (b ...) ( -> (b ... b -> Integer))))
|
(: g (All (b ...) ( -> (b ... b -> Integer))))
|
||||||
(define (g) (lambda xs 0))
|
(define (g) (lambda xs 0))
|
||||||
|
|
||||||
(f (g))
|
(f (g))
|
||||||
|
|
|
@ -14,4 +14,4 @@
|
||||||
|
|
||||||
(: f3 (Integer Integer -> Integer))
|
(: f3 (Integer Integer -> Integer))
|
||||||
(define (f3 x . z)
|
(define (f3 x . z)
|
||||||
(apply + #\c x z))
|
(apply + #\c x z))
|
||||||
|
|
|
@ -6,4 +6,4 @@
|
||||||
(define (g x y) y)
|
(define (g x y) y)
|
||||||
(g "foo" (list "foo")))
|
(g "foo" (list "foo")))
|
||||||
|
|
||||||
(f 3)
|
(f 3)
|
||||||
|
|
|
@ -6,4 +6,4 @@
|
||||||
(: f (Foo -> String))
|
(: f (Foo -> String))
|
||||||
(define (f x) (string-append x))
|
(define (f x) (string-append x))
|
||||||
|
|
||||||
(f 1)
|
(f 1)
|
||||||
|
|
|
@ -4,4 +4,4 @@
|
||||||
(define (f . x) (+ 1 2))
|
(define (f . x) (+ 1 2))
|
||||||
|
|
||||||
(: f4 (case-lambda (Integer * -> Integer) (Number * -> Number)))
|
(: f4 (case-lambda (Integer * -> Integer) (Number * -> Number)))
|
||||||
(define (f4 . x) (apply + x))
|
(define (f4 . x) (apply + x))
|
||||||
|
|
|
@ -13,4 +13,4 @@
|
||||||
y)
|
y)
|
||||||
|
|
||||||
(plambda: (a ...) ([x : Number] . [y : Number ... a])
|
(plambda: (a ...) ([x : Number] . [y : Number ... a])
|
||||||
(map add1 y))
|
(map add1 y))
|
||||||
|
|
|
@ -16,4 +16,4 @@
|
||||||
c
|
c
|
||||||
(apply f
|
(apply f
|
||||||
(apply (inst fold-left c a b ... b) f c (cdr as) (map cdr bss))
|
(apply (inst fold-left c a b ... b) f c (cdr as) (map cdr bss))
|
||||||
(car as) (map car bss))))
|
(car as) (map car bss))))
|
||||||
|
|
|
@ -38,4 +38,4 @@
|
||||||
3 4 5)
|
3 4 5)
|
||||||
|
|
||||||
(fold-left (lambda: ([a : (Listof Integer)] [c : Integer]) (cons c a)) null (list 3 4 5 6))
|
(fold-left (lambda: ([a : (Listof Integer)] [c : Integer]) (cons c a)) null (list 3 4 5 6))
|
||||||
(fold-right (lambda: ([a : (Listof Integer)] [c : Integer]) (cons c a)) null (list 3 4 5 6))
|
(fold-right (lambda: ([a : (Listof Integer)] [c : Integer]) (cons c a)) null (list 3 4 5 6))
|
||||||
|
|
|
@ -55,4 +55,4 @@
|
||||||
'()
|
'()
|
||||||
root
|
root
|
||||||
))
|
))
|
||||||
)
|
)
|
||||||
|
|
|
@ -108,4 +108,3 @@
|
||||||
(= 0 (list-length '()))
|
(= 0 (list-length '()))
|
||||||
(= 2 (list-length '(1 2)))
|
(= 2 (list-length '(1 2)))
|
||||||
(= 3 (list-length '(1 2 (1 2 3 4))))
|
(= 3 (list-length '(1 2 (1 2 3 4))))
|
||||||
|
|
|
@ -18,4 +18,4 @@
|
||||||
#;((plambda: (a ...) () (lambda: [ys : a ... a] 3)))
|
#;((plambda: (a ...) () (lambda: [ys : a ... a] 3)))
|
||||||
|
|
||||||
#;((plambda: (a ...) [xs : a ... a] (lambda: [ys : a ... a] 3))
|
#;((plambda: (a ...) [xs : a ... a] (lambda: [ys : a ... a] 3))
|
||||||
1 2 3 "foo")
|
1 2 3 "foo")
|
||||||
|
|
|
@ -17,4 +17,4 @@
|
||||||
(apply f as))
|
(apply f as))
|
||||||
fs))))
|
fs))))
|
||||||
|
|
||||||
(inst map-with-funcs Integer Integer Integer Integer)
|
(inst map-with-funcs Integer Integer Integer Integer)
|
||||||
|
|
|
@ -17,4 +17,4 @@
|
||||||
|
|
||||||
(define (g x) 3)
|
(define (g x) 3)
|
||||||
|
|
||||||
|#
|
|#
|
||||||
|
|
|
@ -3,4 +3,4 @@
|
||||||
(: f (All (a) ((Integer a * -> Integer) -> Integer)))
|
(: f (All (a) ((Integer a * -> Integer) -> Integer)))
|
||||||
(define (f g) 0)
|
(define (f g) 0)
|
||||||
|
|
||||||
(f +)
|
(f +)
|
||||||
|
|
|
@ -62,4 +62,4 @@
|
||||||
(map (lambda: ([f : (a ... a -> b)])
|
(map (lambda: ([f : (a ... a -> b)])
|
||||||
(apply f as))
|
(apply f as))
|
||||||
fs)))
|
fs)))
|
||||||
(map-with-funcs + - * /)
|
(map-with-funcs + - * /)
|
||||||
|
|
|
@ -27,4 +27,4 @@
|
||||||
(((inst map-with-funcs Integer Integer)
|
(((inst map-with-funcs Integer Integer)
|
||||||
(lambda: ([x : Integer] [y : Integer]) (+ x y))
|
(lambda: ([x : Integer] [y : Integer]) (+ x y))
|
||||||
(lambda: ([x : Integer] [y : Integer]) (- x y)))
|
(lambda: ([x : Integer] [y : Integer]) (- x y)))
|
||||||
3 4)
|
3 4)
|
||||||
|
|
|
@ -7,4 +7,4 @@
|
||||||
(define: (is-happiness-a-warm-gun?) : Boolean
|
(define: (is-happiness-a-warm-gun?) : Boolean
|
||||||
(with-handlers ([integer? (lambda: ([x : Any]) #t)])
|
(with-handlers ([integer? (lambda: ([x : Any]) #t)])
|
||||||
(f 42)
|
(f 42)
|
||||||
#t))
|
#t))
|
||||||
|
|
|
@ -67,4 +67,4 @@
|
||||||
|
|
||||||
(go 0)
|
(go 0)
|
||||||
|
|
||||||
;(generate (base-gen 1))
|
;(generate (base-gen 1))
|
||||||
|
|
|
@ -119,4 +119,4 @@
|
||||||
; Comment in to run tests
|
; Comment in to run tests
|
||||||
#;(require #;(planet "graphical-ui.ss" ("schematics" "schemeunit.plt" 2))
|
#;(require #;(planet "graphical-ui.ss" ("schematics" "schemeunit.plt" 2))
|
||||||
(planet "text-ui.ss" ("schematics" "schemeunit.plt" 2)))
|
(planet "text-ui.ss" ("schematics" "schemeunit.plt" 2)))
|
||||||
#;(test/text-ui dispatch-servlets-tests)
|
#;(test/text-ui dispatch-servlets-tests)
|
||||||
|
|
|
@ -78,4 +78,4 @@
|
||||||
(test-url->path test-filter-map (build-path "dispatchers/filesystem-map.html")))))
|
(test-url->path test-filter-map (build-path "dispatchers/filesystem-map.html")))))
|
||||||
(test-case "Allows content after w/ valid"
|
(test-case "Allows content after w/ valid"
|
||||||
(test-url->path test-filter-valid-map (build-path "dispatchers/filesystem-map.ss/extra/info")
|
(test-url->path test-filter-valid-map (build-path "dispatchers/filesystem-map.ss/extra/info")
|
||||||
#:expected (build-path "dispatchers/filesystem-map.ss"))))))
|
#:expected (build-path "dispatchers/filesystem-map.ss"))))))
|
||||||
|
|
|
@ -565,4 +565,4 @@
|
||||||
(define-values (point i) (values #t 1))
|
(define-values (point i) (values #t 1))
|
||||||
i)))))))
|
i)))))))
|
||||||
|
|
||||||
))
|
))
|
||||||
|
|
|
@ -204,4 +204,4 @@
|
||||||
|
|
||||||
; XXX test dispatch
|
; XXX test dispatch
|
||||||
|
|
||||||
))
|
))
|
||||||
|
|
|
@ -25,4 +25,4 @@
|
||||||
,(number->string (+ (request-number "first") (request-number "second")))))))
|
,(number->string (+ (request-number "first") (request-number "second")))))))
|
||||||
|
|
||||||
(serve/servlet start
|
(serve/servlet start
|
||||||
#:servlet-path "/")
|
#:servlet-path "/")
|
||||||
|
|
|
@ -48,4 +48,4 @@
|
||||||
(struct dcon-exact ([fixed (listof c?)] [rest c?]))
|
(struct dcon-exact ([fixed (listof c?)] [rest c?]))
|
||||||
(struct dcon-dotted ([type c?] [bound symbol?]))
|
(struct dcon-dotted ([type c?] [bound symbol?]))
|
||||||
(struct dmap ([map (hashof symbol? (or/c dcon? dcon-exact? dcon-dotted?))]))
|
(struct dmap ([map (hashof symbol? (or/c dcon? dcon-exact? dcon-dotted?))]))
|
||||||
(struct cset ([maps (listof (cons/c (hashof symbol? c?) dmap?))])))
|
(struct cset ([maps (listof (cons/c (hashof symbol? c?) dmap?))])))
|
||||||
|
|
|
@ -63,4 +63,4 @@
|
||||||
(define (dmap-meet dm1 dm2)
|
(define (dmap-meet dm1 dm2)
|
||||||
(make-dmap
|
(make-dmap
|
||||||
(hash-union (dmap-map dm1) (dmap-map dm2)
|
(hash-union (dmap-map dm1) (dmap-map dm2)
|
||||||
(lambda (k dc1 dc2) (dcon-meet dc1 dc2)))))
|
(lambda (k dc1 dc2) (dcon-meet dc1 dc2)))))
|
||||||
|
|
|
@ -5,4 +5,4 @@
|
||||||
|
|
||||||
(define infer-param (make-parameter (lambda e (int-err "infer not initialized"))))
|
(define infer-param (make-parameter (lambda e (int-err "infer not initialized"))))
|
||||||
(define (unify X S T) ((infer-param) X S T (make-Univ) null))
|
(define (unify X S T) ((infer-param) X S T (make-Univ) null))
|
||||||
(provide unify infer-param)
|
(provide unify infer-param)
|
||||||
|
|
|
@ -9,4 +9,4 @@
|
||||||
(provide-signature-elements restrict^ infer^)
|
(provide-signature-elements restrict^ infer^)
|
||||||
|
|
||||||
(define-values/link-units/infer
|
(define-values/link-units/infer
|
||||||
infer@ constraints@ dmap@ restrict@ promote-demote@)
|
infer@ constraints@ dmap@ restrict@ promote-demote@)
|
||||||
|
|
|
@ -34,4 +34,4 @@
|
||||||
[(subtype t2 t1) t2] ;; we don't actually want this - want something that's a part of t1
|
[(subtype t2 t1) t2] ;; we don't actually want this - want something that's a part of t1
|
||||||
[(not (overlap t1 t2)) (Un)] ;; there's no overlap, so the restriction is empty
|
[(not (overlap t1 t2)) (Un)] ;; there's no overlap, so the restriction is empty
|
||||||
[else t2] ;; t2 and t1 have a complex relationship, so we punt
|
[else t2] ;; t2 and t1 have a complex relationship, so we punt
|
||||||
))
|
))
|
||||||
|
|
|
@ -2,4 +2,4 @@
|
||||||
|
|
||||||
(require "private/prims.ss")
|
(require "private/prims.ss")
|
||||||
(provide (all-from-out scheme/base)
|
(provide (all-from-out scheme/base)
|
||||||
(all-from-out "private/prims.ss"))
|
(all-from-out "private/prims.ss"))
|
||||||
|
|
|
@ -35,4 +35,4 @@
|
||||||
(for-syntax
|
(for-syntax
|
||||||
(all-from-out scheme/base
|
(all-from-out scheme/base
|
||||||
"type-effect-convenience.ss"
|
"type-effect-convenience.ss"
|
||||||
"union.ss")))
|
"union.ss")))
|
||||||
|
|
|
@ -18,4 +18,4 @@
|
||||||
(define values* values)
|
(define values* values)
|
||||||
|
|
||||||
(define (foo x #:bar [bar #f])
|
(define (foo x #:bar [bar #f])
|
||||||
bar)
|
bar)
|
||||||
|
|
|
@ -131,4 +131,4 @@
|
||||||
|
|
||||||
(define (dotted? stx)
|
(define (dotted? stx)
|
||||||
(cond [(syntax-property stx type-dotted-symbol) => syntax-e]
|
(cond [(syntax-property stx type-dotted-symbol) => syntax-e]
|
||||||
[else #f]))
|
[else #f]))
|
||||||
|
|
|
@ -295,4 +295,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))
|
||||||
|
|
|
@ -38,4 +38,4 @@
|
||||||
(all-from-out scheme/base
|
(all-from-out scheme/base
|
||||||
"type-effect-convenience.ss"
|
"type-effect-convenience.ss"
|
||||||
"../rep/type-rep.ss"
|
"../rep/type-rep.ss"
|
||||||
"union.ss")))
|
"union.ss")))
|
||||||
|
|
|
@ -39,4 +39,4 @@
|
||||||
[(tc-result: t) (tc/funapp #'f #'(l) ft (list (ret lty)) #f)])
|
[(tc-result: t) (tc/funapp #'f #'(l) ft (list (ret lty)) #f)])
|
||||||
(values t lbound))))]
|
(values t lbound))))]
|
||||||
[_
|
[_
|
||||||
(tc-error "form cannot be used where a term of ... type is expected")])))
|
(tc-error "form cannot be used where a term of ... type is expected")])))
|
||||||
|
|
|
@ -221,4 +221,4 @@
|
||||||
;; Listof[A] Listof[B] B -> Listof[B]
|
;; Listof[A] Listof[B] B -> Listof[B]
|
||||||
;; pads out t to be as long as s
|
;; pads out t to be as long as s
|
||||||
(define (extend s t extra)
|
(define (extend s t extra)
|
||||||
(append t (build-list (- (length s) (length t)) (lambda _ extra))))
|
(append t (build-list (- (length s) (length t)) (lambda _ extra))))
|
||||||
|
|
|
@ -10,4 +10,3 @@
|
||||||
[base64-decode (Bytes -> Bytes)])
|
[base64-decode (Bytes -> Bytes)])
|
||||||
|
|
||||||
(provide base64-encode-stream base64-decode-stream base64-encode base64-decode)
|
(provide base64-encode-stream base64-decode-stream base64-encode base64-decode)
|
||||||
|
|
|
@ -26,4 +26,4 @@
|
||||||
(provide
|
(provide
|
||||||
(struct-out cgi-error)
|
(struct-out cgi-error)
|
||||||
(struct-out incomplete-%-suffix)
|
(struct-out incomplete-%-suffix)
|
||||||
(struct-out invalid-%-suffix))
|
(struct-out invalid-%-suffix))
|
||||||
|
|
|
@ -20,4 +20,4 @@
|
||||||
|
|
||||||
(require-typed-struct (cookie-error exn:fail) () net/cookie)
|
(require-typed-struct (cookie-error exn:fail) () net/cookie)
|
||||||
|
|
||||||
(provide Cookie cookie? (struct-out cookie-error))
|
(provide Cookie cookie? (struct-out cookie-error))
|
||||||
|
|
|
@ -28,4 +28,4 @@
|
||||||
standard-message-header
|
standard-message-header
|
||||||
data-lines->data
|
data-lines->data
|
||||||
extract-addresses
|
extract-addresses
|
||||||
assemble-address-field)
|
assemble-address-field)
|
||||||
|
|
|
@ -52,4 +52,4 @@
|
||||||
|
|
||||||
(provide
|
(provide
|
||||||
imap-connection?
|
imap-connection?
|
||||||
IMAP-Connection)
|
IMAP-Connection)
|
||||||
|
|
|
@ -40,5 +40,3 @@
|
||||||
(require-typed-struct/provide (malformed-server-response pop3)
|
(require-typed-struct/provide (malformed-server-response pop3)
|
||||||
([communicator : communicator]) net/pop3)
|
([communicator : communicator]) net/pop3)
|
||||||
|
|
||||||
|
|
||||||
|
|
|
@ -7,4 +7,3 @@
|
||||||
[qp-decode ( String -> String )]
|
[qp-decode ( String -> String )]
|
||||||
[qp-encode-stream (case-lambda (Input-Port Output-Port -> Void) (Input-Port Output-Port String -> Void) )]
|
[qp-encode-stream (case-lambda (Input-Port Output-Port -> Void) (Input-Port Output-Port String -> Void) )]
|
||||||
[qp-decode-stream ( Input-Port Output-Port -> Void )])
|
[qp-decode-stream ( Input-Port Output-Port -> Void )])
|
||||||
|
|
|
@ -9,4 +9,3 @@
|
||||||
(String String (Listof String) (Listof String) (Listof String) (Listof String) String * -> Output-Port)])
|
(String String (Listof String) (Listof String) (Listof String) (Listof String) String * -> Output-Port)])
|
||||||
|
|
||||||
(provide send-mail-message/port send-mail-message #;no-mail-recipients)
|
(provide send-mail-message/port send-mail-message #;no-mail-recipients)
|
||||||
|
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user