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

I don't know why this wasn't caught before, but with recent changes, it's now

Browse Source 
caught correctly.

original commit: f1211df156a37c709bc6f13077bc0430cd901617
This commit is contained in:
Stevie Strickland 2008-06-18 16:16:11 -04:00
parent b6fda17f3a
commit 5c8a9dfc5d
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/int-def-colon.ss
View File

@ -2,7 +2,7 @@
(define-type-alias Int Integer)
(: foo (Int -> Int))
(: foo ( -> Int))
(define (foo)
(: loop (Int -> Int))
(define (loop x)