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

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.

Neil ⊥
____________________
 Racket Users list:
 http://lists.racket-lang.org/users

Reply via email to