[racket] Two questions about scribbling a Typed Racket library

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Wed May 30 23:20:42 EDT 2012

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

Posted on the users mailing list.