[racket-dev] Racket installs more files on amd64 than on i386
On Sun, Nov 18, 2012 at 8:18 PM, Neil Toronto <neil.toronto at 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