On Thu, Feb 21, 2013 at 5:28 PM, Norman Gray <nor...@astro.gla.ac.uk> wrote: > > > But I'm now quite securely stuck, I think. > > ---- > > In case anyone is curious (and in case the clear and obvious solution is > indeed clear and obvious), what I'm trying to do is produce a typed version > of the procedure below:
I think the following example shows the way to implementing what you're looking for. https://gist.github.com/samth/5009113 It's definitely the case that `make-keyword-procedure` and `keyword-apply` remain future work for the moment. The former is probably easier than the latter. Sam ____________________ Racket Users list: http://lists.racket-lang.org/users