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

formatting

Browse Source 
svn: r14791
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-12 21:50:16 +00:00
parent 8fc6e38b11
commit 54eb4cc314
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -679,9 +679,9 @@
3 (list #\c) (map list (map list as))))] 3 (list #\c) (map list (map list as))))]
[tc-e/t (plambda: (a ...) [as : a ... a] [tc-e/t (plambda: (a ...) [as : a ... a]
(apply fold-left (lambda: ([c : Integer] [a : Char] . [xs : a ... a]) c) (apply fold-left (lambda: ([c : Integer] [a : Char] . [xs : a ... a]) c)
3 (list #\c) (map list as))) 3 (list #\c) (map list as)))
(-polydots (a) ((list) (a a) . ->... . -Integer))] (-polydots (a) ((list) (a a) . ->... . -Integer))]
;; First is same as second, but with map explicitly instantiated. ;; First is same as second, but with map explicitly instantiated.
[tc-e/t (plambda: (a ...) [ys : (a ... a -> Number) *] [tc-e/t (plambda: (a ...) [ys : (a ... a -> Number) *]