[racket-dev] Racket installs more files on amd64 than on i386

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Nov 18 21:40:12 EST 2012

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!


Posted on the dev mailing list.