[plt-dev] Re: [plt-scheme] Call for Participation: Writing Typed Scheme wrapper modules

From: YC (yinso.chen at gmail.com)
Date: Tue Feb 24 18:32:43 EST 2009

On Tue, Feb 24, 2009 at 3:20 PM, Sam TH <samth at ccs.neu.edu> wrote:

> You should probably handle the case where the input is a Bytes as well.
Thanks for pointing it out - I misread the input definition.  The following
is the updated wrapper.


;; wrapper on

#lang typed-scheme
(require/typed file/md5
               (md5 ((U Bytes Input-Port) -> Bytes))
(provide md5)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20090224/cab3d5d6/attachment.html>

Posted on the dev mailing list.