On 11/19/12 03:40, Robby Findler wrote:
On Sun, Nov 18, 2012 at 8:18 PM, Neil Toronto <neil.toro...@gmail.com> wrote:
It's a problem with the contract boundary. The examples work fine in Typed
Racket. The problem type is this:
(: flomap-transform
(case->
(flomap Flomap-Transform -> flomap)
(flomap Flomap-Transform Integer Integer Integer Integer
-> flomap)))
The contract system claims that `flomap-transform' breaks its own contract.
This is clearly bogus, so TR must be generating the wrong contract for it.
Still, I should have caught this, and I apologize. I'll do penance by...
writing a bug report? Probably not enough.
Penance is an antiquated concept. We should do away with it. :)
But if you feel bad enough to make a small program that demonstrates
the problem that would be a contribution to it's solution!
Thanks for to catch the bug guys!. Please send me a mail when you fix
the bug and I'll add the patches to the OpenBSD port.
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
