[racket] status of keyword argument support in TR?

From: Neil Van Dyke (neil at neilvandyke.org)
Date: Sun Dec 26 22:11:13 EST 2010

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.

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

Posted on the users mailing list.