[racket] typed racket and module paths

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Tue May 10 18:24:24 EDT 2011

On Tue, May 10, 2011 at 6:04 PM, Danny Yoo <dyoo at cs.wpi.edu> wrote:
> I'm trying to deal with module paths in Typed Racket, and have the
> following so far.  I'm not exactly sure how to write the types for
> RelativeString, UserString, or PackageString, so I've just aliased
> them to String.  But does the following look otherwise ok?

This looks good -- I'll steal it and put it in TR soon.  :)

One style note:

(Pairof A (Pairof B C)) = (List* A B C)
sam th
samth at ccs.neu.edu

Posted on the users mailing list.