[racket] Two questions about scribbling a Typed Racket library

On Wed, May 30, 2012 at 6:33 PM, Neil Toronto <neil.toronto at gmail.com> 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
samth at ccs.neu.edu