On Tue, May 10, 2011 at 6:04 PM, Danny Yoo <[email protected]> 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 [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
