I have a bunch of typed/racket code that I'm trying to document with visions of planet as an end state.
Is there away to use scribble to document procedures in a more typed/racket fashion? Instead of @defproc ... giving (bytes-open-converter<http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-open-converter))> from-name to-name) → bytes-converter?<http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-converter~3f))> from-name : string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))> to-name : string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))> (bytes-open-converter from-name toname) -> bytes-converter? from-name : string? to-name : string? I'm looking for @defproc giving more something along the lines of the following. (: bytes-open-converter (String String -> BytesConverter)) (bytes-open-converter<http://docs.racket-lang.org/reference/bytestrings.html?q=open-connection#(def._((quote._~23~25kernel)._bytes-open-converter))> from-name to-name) from-name : string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))> to-name : string?<http://docs.racket-lang.org/reference/strings.html?q=open-connection#(def._((quote._~23~25kernel)._string~3f))> (: bytes-open-converter (String String -> BytesConverter)) (bytes-open-converter from-name to-name) Ray
____________________ Racket Users list: http://lists.racket-lang.org/users