[plt-scheme] Typechecking command-line

[Sam TH]

On Tue, Mar 17, 2009 at 8:44 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> Hi,
>
> Trying to typecheck a file containing a call to command line fails.
> Here's a short version exemplifying the issue:

This works now, provided that you annotate the binding instance of
`filename' with an appropriate type:

#:args #{filename : String}
-- 
sam th
samth at ccs.neu.edu