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

Tests in here that now succeed

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-18 17:22:16 -04:00
parent f1211df156
commit b5bfb18961
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")