On Wed, May 30, 2012 at 6:33 PM, Neil Toronto <[email protected]> wrote: > How do I get primitive type names linked to their definitions? When I > (require (for-label typed/racket)), I get this error: > > module: identifier already imported for label from a different source in: > #%module-begin > typed/racket > typed/racket
You need to use `except-in` to hide `#%module-begin`. The Typed Racket docs themselves should have examples of this. > Also, what's the best way to document a type, when the type's definition is > important? I'd like something like this: > > Flomap-Transform = (Integer Integer -> invertible-2d-mapping) > > instead of having to write "This type is defined as..." in the description > text. There's not currently a nice way of defining constants in Scribble that I know of. -- sam th [email protected] ____________________ Racket Users list: http://lists.racket-lang.org/users
