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

Tests in here that now succeed

Browse Source 
original commit: b5bfb189610fed971b4a37f5a4191d72dc66548e
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-18 17:22:16 -04:00
parent 5c8a9dfc5d
commit 385809eca8
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/tests/typed-scheme/succeed/lots-o-bugs.ss
View File

@ -1,23 +1,21 @@
#lang typed-scheme
;; (All (a ...) ( -> (a ... a -> Integer)))
#;
(plambda: (a ...) ()
(lambda: [ys : a ... a] 3))
(define x (plambda: (a ...) () (lambda: [ys : a ... a] 3)))
#;#;
(: y (All (a ...) ( -> (a ... a -> Integer))))
(define y (plambda: (a ...) () (lambda: [ys : a ... a] 3)))
#;#;
(: z (All (a ...) ( -> (a ... a -> Integer))))
(define z (lambda () (lambda ys 3)))
#;
((plambda: (a ...) () (lambda: [ys : a ... a] 3)))
#;((plambda: (a ...) () (lambda: [ys : a ... a] 3)))
#;
((plambda: (a ...) [xs : a ... a] (lambda: [ys : a ... a] 3))
1 2 3)
#;((plambda: (a ...) [xs : a ... a] (lambda: [ys : a ... a] 3))
1 2 3 "foo")