suzanne.soy/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).
This commit is contained in:
Stevie Strickland 2008-06-20 17:50:15 -04:00
parent ce58c4c676
commit 48961eb551
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)))) (lambda: ([x : Number] [y : Number]) (/ x y))))
3 4) 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) *] (apply (plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a] (lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)]) (map (lambda: ([y : (a ... a -> Number)])
@ -35,7 +29,30 @@
ys))) ys)))
(list + - * /)) (list + - * /))
(apply (plambda: (a ...) [ys : (a ... a -> Number) *] ((plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a] (lambda: [zs : a ... a]
#{(error 'foo) :: (Listof Number)})) (map (lambda: ([y : (a ... a -> Number)])
(list + - * /)) (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)))
+ - * /)