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! Robby _________________________ Racket Developers list: http://lists.racket-lang.org/dev