On Jun 26, 2012, at 9:12 PM, Neil Toronto wrote: > I'm addicted to optimizations. If I use Real -> Real, TR can't prove that > (log1p 1.0) is Float and... hmm. I'll let Vincent explain why that's bad. :) > > Another option is to provide both log1p and fllog1p. I just wrote fllog1p > anyway.
Sounds like the right solution -- and now you see how every type system forces you to duplicate code. -- Matthias _________________________ Racket Developers list: http://lists.racket-lang.org/dev
