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

Int is not a type

Browse Source 
original commit: f2699abe6539da6e44e9a8e19fe481b26a2fa8ec
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 15:36:45 -04:00
parent ae6caf4765
commit 6cd98e19ef
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/succeed/nested-poly.ss
View File

@ -1,5 +1,5 @@
#lang typed-scheme
(: f (All (A ...) (All (B ...) (A ... A -> Int))))
(: f (All (A ...) (All (B ...) (A ... A -> Integer))))
(define (f . xs) 5)