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

Fixed file/md5's conversion for TR according to the documentation.

Browse Source 
original commit: 074150e427193aaad9268f785ad48d9a0ad85599
This commit is contained in:
Tim Köhlmann 2013-07-18 19:38:27 +02:00 committed by Sam Tobin-Hochstadt
parent 41ee377aa5
commit 12974a863c
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed/file/md5.rkt
View File

@ -1,4 +1,6 @@
#lang typed/racket/base
(require/typed file/md5
[md5 ((U Bytes Input-Port) -> Bytes)])
[md5 (case->
((U Bytes String Input-Port) -> Bytes)
((U Bytes String Input-Port) Boolean -> Bytes))])
(provide md5)