[plt-scheme] Typechecking command-line

From: Sam TH (samth at ccs.neu.edu)
Date: Fri Apr 3 19:05:18 EDT 2009

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

Posted on the users mailing list.