# [racket] TR Keyword Args (Lil Help)

It looks like there is an issue with turning case lambdas with
keywords into a contract. If you drop the one argument case for
function, it should work.
On Thu, Aug 9, 2012 at 4:01 PM, Ray Racine <ray.racine at gmail.com> wrote:
>* The following sample works well enough that I can do something similar for
*>* each of my current situational plotting needs However, I can't seem to get
*>* any of the keyword typings to work.
*>*
*>* No keyword typing support for require/typed at this time, bug, or I'm flat
*>* out doing it wrong?
*>*
*>* Thanks,
*>*
*>* Ray
*>*
*>* #lang typed/racket/base
*>*
*>* (require
*>* (only-in racket/math
*>* sqr))
*>*
*>* (define-type Color% (Class () () ()))
*>*
*>* (define-type Plot-Pen-Style (U Integer
*>* (U 'transparent 'solid
*>* 'bdiagnol-hatch 'fdiagonal-hatch
*>* 'horizontal-hath 'veritcal-hatch
*>* 'crossdisg-hatch 'cross-hath)))
*>*
*>* (define-type Plot-Color (U Integer (List Real Real Real)
*>* String Symbol Color%))
*>*
*>* (define-type Image-Snip% (Class () () ()))
*>*
*>* (require/typed plot/utils
*>* [opaque Renderer2d renderer2d?]
*>* [linear-seq (Real Real Exact-Nonnegative-Integer -> (Listof
*>* Real))])
*>*
*>* (require/typed plot/main
*>* [plot (Any -> Any)]
*>* [function (case-> ((Real -> Real)
*>* (Option Exact-Rational)
*>* (Option Exact-Rational)
*>* ;[#:y-min Exact-Rational]
*>* ; [#:y-max Exact-Rational]
*>* ; [#:samples Integer]
*>* ; [#:color Plot-Color]
*>* ; [#:width Natural]
*>* ; [#:style Plot-Pen-Style]
*>* ; [#:alpha Real]
*>* ; [#:label (Option String)]
*>* -> Renderer2d)
*>* ((Real -> Real) -> Renderer2d))]
*>*
*>* [area-histogram
*>* ((Real -> Real) (Listof Real) -> Renderer2d)])
*>*
*>* (define (test)
*>* (: f (Real -> Real))
*>* (define (f x) (exp (* -1/2 (sqr x))))
*>* (plot (list (area-histogram f (linear-seq -4 4 10))
*>* (function f -4 4))))
*>*
*>* ____________________
*>* Racket Users list:
*>* http://lists.racket-lang.org/users
*>*
*