[racket] typed racket and module paths

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