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

Typed wrapper for file/tar

Browse Source 
contributed by YC.

svn: r14233
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-23 15:34:34 +00:00
parent 40b4731106
commit 746446d4ac
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
collects/typed/file/tar.ss Normal file
View File

@ -0,0 +1,22 @@
#lang typed-scheme
;; typed-scheme wrapper on file/tar
;; yc 2009/2/25
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; basic type aliases.
(define-type-alias Path-String (U Path String))
(require/typed file/tar
;; tar appears to return exact-nonenegative-integer? instead of void?
[tar (Path-String Path-String * -> Integer)]
;; tar->output appears to take (listof path) instead of (listof path-string?)
;; it also appears to return exact-nonenegative-integer?
[tar->output (case-lambda ((Listof Path) -> Integer)
((Listof Path) Output-Port -> Integer))]
;; tar->gzip
;; missing from file/tar but available in mzlib/tar
;; actually returns void?
[tar-gzip (Path-String Path-String * -> Void)]
)
(provide tar tar->output tar-gzip)