Re: [racket] Typed racket: keywords and rest arguments

This looks like a bug -- the code probably doesn't handle the way this combination is encoded. Sam On Sat, Mar 9, 2013 at 8:33 AM, Norman Gray wrote: > > Greetings. > > (this is a separate typed-racket question, and I think distinct from the > questions I was asking last month) > > I don't seem

[racket] Typed racket: keywords and rest arguments

Greetings. (this is a separate typed-racket question, and I think distinct from the questions I was asking last month) I don't seem to be able to specify a type for a function with rest arguments and optional keywords. The following fails to typecheck (Racket 5.3.3) (: appender (String Strin