I have: @defproc[(fmt (format (or/c string? fmt?)) ... (port (or/c output-port? 'string 'str 'current 'cur 'argument 'arg) 'string) (and/c procedure? fmt?)]{bla bla bla} in a scrbl file, where 'bla bla bla' states that the optional argument port can be placed at arbitrary position before, among or after the format arguments. The following does not work: @defproc[(fmt (format (or/c string? fmt?)) ... (port (or/c output-port? 'string 'str 'current 'cur 'argument 'arg) 'string) (format (or/c string? fmt?)) ...) (and/c procedure? fmt?)]{bla bla bla} It complaints with: defproc: duplicate argument names in prototype for fmt: (format port format) Well, I think such a warning is useful. I could write: @defproc[(fmt (format (or/c string? fmt?)) ... (port (or/c output-port? 'string 'str 'current 'cur 'argument 'arg) 'string) (more-format (or/c string? fmt?)) ...) (and/c procedure? fmt?)]{bla bla bla} However, don't like to give distinct names to arguments of the same type and the same way they are treated. Is there a way out? Thanks, Jos
-- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.