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

rename to .rkt

Browse Source 
original commit: 0d1d61c725e58889dcda23a44ecb9b32f87e4002
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-17 15:37:14 -05:00
parent fcf6876f28
commit 15c23cc374
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
collects/tests/typed-scheme/succeed/foldo.scm → collects/tests/typed-scheme/succeed/foldo.rkt
View File

2
collects/tests/typed-scheme/succeed/metrics.rkt
View File

@ -6,7 +6,7 @@
(require/typed apply-to-scheme-files
((Path -> (Listof (Listof (U #f (Listof (U Number #f))))))
Path
-> (Listof (U #f (Listof (Listof ( U #f (Listof (U Number #f)))))))) "foldo.scm")
-> (Listof (U #f (Listof (Listof ( U #f (Listof (U Number #f)))))))) "foldo.rkt")
(define-type-alias top Any)
(define-type-alias str String)