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 <n...@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/
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/users

Reply via email to