[racket] status of keyword argument support in TR?

If you guys know now what the TR ":" syntax will look like for the usual 
keyword arguments, I would like to know what it is.

My reason is that I need to replace my embedded documentation setup, now 
that I'm targeting Scribble instead of Texinfo, and I'd like to be 
getting the procedure signatures and such from ":" forms.  I can use 
"#lang typed/racket/base/no-check" until TR actually implements keyword 
argument support.

I'd very much prefer knowing, rather than making an incorrect guess and 
having to change a tool and a bunch of separately-released PLaneT 
packages later.

Sam Tobin-Hochstadt wrote at 12/23/2010 12:27 AM:
> On Wed, Dec 22, 2010 at 9:48 PM, Neil Van Dyke <neil at neilvandyke.org> wrote:
>   
>> What's the status of keyword argument support in Typed Racket?
>>     
>
> The below is still the current state, unfortunately.
>
>   
>> http://groups.google.com/group/plt-scheme/browse_thread/thread/2da648c872fc6d97
>>
>> Sam Tobin-Hochstadt wrote at Fri, 24 Sep 2010 22:41:53 -0400:
>>     
>>> Unfortunately, TR doesn't currently support the definition of keyworded
>>> functions, primarily because their expansion is quite complex.  That sadly
>>> also leads to this error message.  I'll see about changing the default
>>> `define' and `lambda' to reject keywords for now.
>>>       

-- 
http://www.neilvandyke.org/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20101226/2336aaf4/attachment.html>