suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add * where appropriate.

Browse Source 
original commit: 4b3508a89004c5334e856ad0f5b6988881097775
This commit is contained in:
Stevie Strickland 2008-06-18 13:01:43 -04:00
parent f8ed6299c4
commit 9544bcbd1f
5 changed files with 37 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
collects/tests/typed-scheme/succeed/apply-dots.ss
View File

@ -5,53 +5,53 @@
1 w))
(plambda: (a ...) ([z : String] . [w : Number ... a])
(apply (lambda: ([x : Number] . [y : Number]) x)
(apply (lambda: ([x : Number] . [y : Number *]) x)
1 w))
(plambda: (a ...) ([z : String] . [w : Number])
(apply (lambda: ([x : Number] . [y : Number]) x)
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (lambda: ([x : Number] . [y : Number *]) x)
1 w))
(plambda: (a ...) ([z : String] . [w : Number])
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (case-lambda: (([x : Number] . [y : Number ... a]) x)
(([x : String] [y : String] . [z : String]) 0)
([y : Number] 0))
(([x : String] [y : String] . [z : String *]) 0)
([y : Number *] 0))
w))
;; */*/poly
(plambda: (a ...) ([z : String] . [w : Number])
(apply (plambda: (b) ([x : b] . [y : Number]) x)
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (plambda: (b) ([x : b] . [y : Number *]) x)
1 w))
(plambda: (a ...) ([z : String] . [w : Number])
(apply (plambda: (b) ([x : b] . [y : Number]) x)
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (plambda: (b) ([x : b] . [y : Number *]) x)
1 2 3 w))
;; */*/polydots
(plambda: (a ...) ([z : String] . [w : Number])
(apply (plambda: (b ...) ([x : Number] . [y : Number]) x)
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (plambda: (b ...) ([x : Number] . [y : Number *]) x)
1 w))
(plambda: (a ...) ([z : String] . [w : Number])
(apply (plambda: (b ...) ([x : Number] . [y : Number]) x)
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (plambda: (b ...) ([x : Number] . [y : Number *]) x)
1 1 1 w))
;; */.../poly
(plambda: (a ...) ([z : String] . [w : Number ... a])
(apply (plambda: (b) ([x : Number] . [y : Number]) x)
(apply (plambda: (b) ([x : Number] . [y : Number *]) x)
1 w))
(plambda: (a ...) ([z : String] . [w : Number ... a])
(apply (plambda: (b) ([x : Number] . [y : Number]) x)
(apply (plambda: (b) ([x : Number] . [y : Number *]) x)
1 1 1 1 w))
;; */.../polydots
#;(plambda: (a ...) ([z : String] . [w : Number ... a])
(apply (plambda: (b ...) ([x : Number] . [y : Number]) x)
(apply (plambda: (b ...) ([x : Number] . [y : Number *]) x)
1 w))
#;(plambda: (a ...) ([z : String] . [w : Number ... a])
(apply (plambda: (b ...) ([x : Number] . [y : Number]) x)
(apply (plambda: (b ...) ([x : Number] . [y : Number *]) x)
1 1 1 1 w))
;; .../.../poly

2
collects/tests/typed-scheme/succeed/leftist-heap.ss
View File

@ -205,7 +205,7 @@
s))
0 h)))
(pdefine: (a) (-heap . [xs : a]) : (Heap a)
(pdefine: (a) (-heap . [xs : a *]) : (Heap a)
(list->heap xs))

4
collects/tests/typed-scheme/succeed/random-bits.ss
View File

@ -564,7 +564,7 @@
(mrg32k3a-random-integer state n))
(else
(mrg32k3a-random-large state n)))))
(lambda: [args : Nb]
(lambda: [args : Nb *]
(cond
((null? args)
(lambda ()
@ -603,7 +603,7 @@
(define: (random-source-make-integers [s : Random]): (Nb -> Nb)
((:random-source-make-integers s)))
(define: (random-source-make-reals [s : Random] . [unit : Nb]) : ( -> Flt)
(define: (random-source-make-reals [s : Random] . [unit : Nb *]) : ( -> Flt)
(apply (:random-source-make-reals s) unit))
; ---

6
collects/tests/typed-scheme/succeed/varargs-tests.ss
View File

@ -18,14 +18,14 @@
(define: f : (number boolean * -> number)
(lambda: ([x : number] . [y : boolean])
(lambda: ([x : number] . [y : boolean *])
(if (and (pair? y) (car y)) x (- x))))
(define: f-cl : (number boolean * -> number)
(case-lambda: [([x : number] . [y : boolean])
(case-lambda: [([x : number] . [y : boolean *])
(if (and (pair? y) (car y)) x (- x))]))
(define: (f* [x : number] . [y : boolean]) : number
(define: (f* [x : number] . [y : boolean *]) : number
(if (and (pair? y) (car y)) x (- x)))
(f 3)

26
collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
View File

@ -157,17 +157,17 @@
(cond [(pair? x) 1]
[(null? x) 1]))
-Integer]
[tc-e (lambda: ([x : Number] . [y : Number]) (car y)) (->* (list N) N N)]
[tc-e ((lambda: ([x : Number] . [y : Number]) (car y)) 3) N]
[tc-e ((lambda: ([x : Number] . [y : Number]) (car y)) 3 4 5) N]
[tc-e ((lambda: ([x : Number] . [y : Number]) (car y)) 3 4) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number]) (car y)) 3 '(4)) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number]) (car y)) 3 '(4 6 7)) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number]) (car y)) 3 '()) N]
[tc-e (lambda: ([x : Number] . [y : Number *]) (car y)) (->* (list N) N N)]
[tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3) N]
[tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4 5) N]
[tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4)) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4 6 7)) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '()) N]
[tc-e (lambda: ([x : Number] . [y : Boolean]) (car y)) (->* (list N) B B)]
[tc-e ((lambda: ([x : Number] . [y : Boolean]) (car y)) 3) B]
[tc-e (apply (lambda: ([x : Number] . [y : Boolean]) (car y)) 3 '(#f)) B]
[tc-e (lambda: ([x : Number] . [y : Boolean *]) (car y)) (->* (list N) B B)]
[tc-e ((lambda: ([x : Number] . [y : Boolean *]) (car y)) 3) B]
[tc-e (apply (lambda: ([x : Number] . [y : Boolean *]) (car y)) 3 '(#f)) B]
[tc-e (let: ([x : Number 3])
(when (number? x) #t))
@ -222,7 +222,7 @@
(string-append "foo" (a v))))
-String]
[tc-e (apply (plambda: (a) [x : a] x) '(5)) (-lst -Integer)]
[tc-e (apply (plambda: (a) [x : a *] x) '(5)) (-lst -Integer)]
[tc-e (apply append (list '(1 2 3) '(4 5 6))) (-lst -Integer)]
[tc-err ((case-lambda: [([x : Number]) x]
@ -471,7 +471,7 @@
;; testing some primitives
[tc-e (let ([app apply]
[f (lambda: [x : Number] 3)])
[f (lambda: [x : Number *] 3)])
(app f (list 1 2 3)))
-Integer]
[tc-e ((lambda () (call/cc (lambda: ([k : (Number -> (U))]) (if (read) 5 (k 10))))))
@ -527,7 +527,7 @@
1)]
[tc-e ((case-lambda:
[[x : Number] (+ 1 (car x))])
[[x : Number *] (+ 1 (car x))])
5)
N]
#;