newlines at EOFs
svn: r13105 original commit: d1a0086471bf5e9553a9b056b26286c427831d38
This commit is contained in:
parent
547102b2b4
commit
9f15554e02
|
@ -10,4 +10,4 @@
|
|||
(apply (case-lambda: (([x : Number] . [y : Number ... a]) x)
|
||||
(([x : String] [y : String] . [z : String *]) 0)
|
||||
([y : String *] 0))
|
||||
w))
|
||||
w))
|
||||
|
|
|
@ -4,4 +4,4 @@
|
|||
(define (f3 x y) (+ x y))
|
||||
|
||||
(: 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))))
|
||||
(define (g) (lambda xs 0))
|
||||
|
||||
(f (g))
|
||||
(f (g))
|
||||
|
|
|
@ -14,4 +14,4 @@
|
|||
|
||||
(: f3 (Integer Integer -> Integer))
|
||||
(define (f3 x . z)
|
||||
(apply + #\c x z))
|
||||
(apply + #\c x z))
|
||||
|
|
|
@ -6,4 +6,4 @@
|
|||
(define (g x y) y)
|
||||
(g "foo" (list "foo")))
|
||||
|
||||
(f 3)
|
||||
(f 3)
|
||||
|
|
|
@ -6,4 +6,4 @@
|
|||
(: f (Foo -> String))
|
||||
(define (f x) (string-append x))
|
||||
|
||||
(f 1)
|
||||
(f 1)
|
||||
|
|
|
@ -4,4 +4,4 @@
|
|||
(define (f . x) (+ 1 2))
|
||||
|
||||
(: f4 (case-lambda (Integer * -> Integer) (Number * -> Number)))
|
||||
(define (f4 . x) (apply + x))
|
||||
(define (f4 . x) (apply + x))
|
||||
|
|
|
@ -13,4 +13,4 @@
|
|||
y)
|
||||
|
||||
(plambda: (a ...) ([x : Number] . [y : Number ... a])
|
||||
(map add1 y))
|
||||
(map add1 y))
|
||||
|
|
|
@ -16,4 +16,4 @@
|
|||
c
|
||||
(apply f
|
||||
(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)
|
||||
|
||||
(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
|
||||
))
|
||||
)
|
||||
)
|
||||
|
|
|
@ -108,4 +108,3 @@
|
|||
(= 0 (list-length '()))
|
||||
(= 2 (list-length '(1 2)))
|
||||
(= 3 (list-length '(1 2 (1 2 3 4))))
|
||||
|
|
@ -18,4 +18,4 @@
|
|||
#;((plambda: (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))
|
||||
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)
|
||||
|
||||
|#
|
||||
|#
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
(: f (All (a) ((Integer a * -> Integer) -> Integer)))
|
||||
(define (f g) 0)
|
||||
|
||||
(f +)
|
||||
(f +)
|
||||
|
|
|
@ -62,4 +62,4 @@
|
|||
(map (lambda: ([f : (a ... a -> b)])
|
||||
(apply f as))
|
||||
fs)))
|
||||
(map-with-funcs + - * /)
|
||||
(map-with-funcs + - * /)
|
||||
|
|
|
@ -27,4 +27,4 @@
|
|||
(((inst map-with-funcs Integer Integer)
|
||||
(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
|
||||
(with-handlers ([integer? (lambda: ([x : Any]) #t)])
|
||||
(f 42)
|
||||
#t))
|
||||
#t))
|
||||
|
|
|
@ -48,4 +48,4 @@
|
|||
(struct dcon-exact ([fixed (listof c?)] [rest c?]))
|
||||
(struct dcon-dotted ([type c?] [bound symbol?]))
|
||||
(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)
|
||||
(make-dmap
|
||||
(hash-union (dmap-map dm1) (dmap-map dm2)
|
||||
(lambda (k dc1 dc2) (dcon-meet dc1 dc2)))))
|
||||
(lambda (k dc1 dc2) (dcon-meet dc1 dc2)))))
|
||||
|
|
|
@ -9,4 +9,4 @@
|
|||
(provide-signature-elements restrict^ 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
|
||||
[(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
|
||||
))
|
||||
))
|
||||
|
|
|
@ -2,4 +2,4 @@
|
|||
|
||||
(require "private/prims.ss")
|
||||
(provide (all-from-out scheme/base)
|
||||
(all-from-out "private/prims.ss"))
|
||||
(all-from-out "private/prims.ss"))
|
||||
|
|
|
@ -35,4 +35,4 @@
|
|||
(for-syntax
|
||||
(all-from-out scheme/base
|
||||
"type-effect-convenience.ss"
|
||||
"union.ss")))
|
||||
"union.ss")))
|
||||
|
|
|
@ -18,4 +18,4 @@
|
|||
(define values* values)
|
||||
|
||||
(define (foo x #:bar [bar #f])
|
||||
bar)
|
||||
bar)
|
||||
|
|
|
@ -131,4 +131,4 @@
|
|||
|
||||
(define (dotted? stx)
|
||||
(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))))))
|
||||
|
||||
(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
|
||||
"type-effect-convenience.ss"
|
||||
"../rep/type-rep.ss"
|
||||
"union.ss")))
|
||||
"union.ss")))
|
||||
|
|
|
@ -221,4 +221,4 @@
|
|||
;; Listof[A] Listof[B] B -> Listof[B]
|
||||
;; pads out t to be as long as s
|
||||
(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)])
|
||||
|
||||
(provide base64-encode-stream base64-decode-stream base64-encode base64-decode)
|
||||
|
|
@ -26,4 +26,4 @@
|
|||
(provide
|
||||
(struct-out cgi-error)
|
||||
(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)
|
||||
|
||||
(provide Cookie cookie? (struct-out cookie-error))
|
||||
(provide Cookie cookie? (struct-out cookie-error))
|
||||
|
|
|
@ -28,4 +28,4 @@
|
|||
standard-message-header
|
||||
data-lines->data
|
||||
extract-addresses
|
||||
assemble-address-field)
|
||||
assemble-address-field)
|
||||
|
|
|
@ -52,4 +52,4 @@
|
|||
|
||||
(provide
|
||||
imap-connection?
|
||||
IMAP-Connection)
|
||||
IMAP-Connection)
|
||||
|
|
|
@ -40,5 +40,3 @@
|
|||
(require-typed-struct/provide (malformed-server-response pop3)
|
||||
([communicator : communicator]) net/pop3)
|
||||
|
||||
|
||||
|
|
@ -7,4 +7,3 @@
|
|||
[qp-decode ( String -> String )]
|
||||
[qp-encode-stream (case-lambda (Input-Port Output-Port -> Void) (Input-Port Output-Port String -> 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)])
|
||||
|
||||
(provide send-mail-message/port send-mail-message #;no-mail-recipients)
|
||||
|
|
@ -6,4 +6,3 @@
|
|||
[external-browser (-> (U Symbol #f (Pair String String)))])
|
||||
|
||||
(provide send-url unix-browser-list browser-preference? external-browser)
|
||||
|
|
@ -7,5 +7,3 @@
|
|||
[smtp-sending-end-of-message (Parameter (-> Any))])
|
||||
|
||||
(provide smtp-send-message smtp-sending-end-of-message)
|
||||
|
||||
|
|
@ -12,4 +12,3 @@
|
|||
[alist->form-urlencoded ( (Listof (cons Symbol String)) -> String )]
|
||||
[form-urlencoded->alist ( String -> (Listof (cons Symbol String)) )]
|
||||
[current-alist-separator-mode (Parameter Symbol)])
|
||||
|
Loading…
Reference in New Issue
Block a user