2013/1/3 Neil Toronto <neil.toro...@gmail.com>: > I solved it by not using `for/sum' and writing this ridiculous function for > the recursive base case and the initial values in `x': > > (: zero-of (case-> (Real -> Real) > (Number -> Number))) > (define (zero-of x) 0) > > Fortunately, it should get inlined. I also renamed `U' to `V', because it > was overshadowing the type name.
Thanks for the solution. I am very fond of for and friends in Racket code, and it annoys me to port these constructs to Typed Racket. I know the goal is for Typed Racket to use the output of the macro expansion of for and friends, but maybe it is worth the effort to implement Typed Racket versions of the most used for-variants? /Jens Axel _________________________ Racket Developers list: http://lists.racket-lang.org/dev
