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

Remove the bits and pieces used to diagnose the original file, and add the

Browse Source 
non-outer-apply versions (that have no reason not to work).

original commit: 48961eb5519b86de55b100fa98ab8c526c9dd699
This commit is contained in:
Stevie Strickland 2008-06-20 17:50:15 -04:00
parent eb320ad75d
commit 16df4ac649
1 changed files with 27 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
collects/tests/typed-scheme/succeed/unholy-terror.ss
View File

@ -22,12 +22,6 @@
(lambda: ([x : Number] [y : Number]) (/ x y))))
3 4)
(plambda: (a ...) [ys : (a ... a -> Number) *]
((inst map Number (a ... a -> Number)) (ann (error 'fail) ((a ... a -> Number) -> Number)) ys))
(plambda: (a ...) [ys : (a ... a -> Number) *]
(map (ann (error 'fail) ((a ... a -> Number) -> Number)) ys))
(apply (plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)])
@ -35,7 +29,30 @@
ys)))
(list + - * /))
(apply (plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
#{(error 'foo) :: (Listof Number)}))
(list + - * /))
((plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)])
(apply y zs))
ys)))
(lambda: ([x : Number] [y : Number]) (+ x y))
(lambda: ([x : Number] [y : Number]) (- x y))
(lambda: ([x : Number] [y : Number]) (* x y))
(lambda: ([x : Number] [y : Number]) (/ x y)))
(((plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)])
(apply y zs))
ys)))
(lambda: ([x : Number] [y : Number]) (+ x y))
(lambda: ([x : Number] [y : Number]) (- x y))
(lambda: ([x : Number] [y : Number]) (* x y))
(lambda: ([x : Number] [y : Number]) (/ x y)))
3 4)
((plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)])
(apply y zs))
ys)))
+ - * /)