rename to .rkt

This commit is contained in:
Sam Tobin-Hochstadt 2010-05-17 15:37:14 -05:00
parent 68391b2d7f
commit 0d1d61c725
2 changed files with 1 additions and 1 deletions

View File

@ -6,7 +6,7 @@
(require/typed apply-to-scheme-files (require/typed apply-to-scheme-files
((Path -> (Listof (Listof (U #f (Listof (U Number #f)))))) ((Path -> (Listof (Listof (U #f (Listof (U Number #f))))))
Path 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 top Any)
(define-type-alias str String) (define-type-alias str String)