Re: [racket-users] Re: How do I debug this performance problem?

> I've noticed that Typed Racket adds seemingly unnecessary chaperones when > the Any type is involved, but maybe they are necessary for some reason? The > following code tries to create a chaperone that I don't think is necessary. > > #lang racket > > (module m typed/racket > (provide f) > (:

[racket-users] Re: How do I debug this performance problem?

It turns out that a chaperone introduced at the typed-untyped boundary was causing a certain important function to run at least 20x slower. I've added prop:authentic to all my structs and am updating the code so that Typed Racket no longer tries to create chaperones. I've noticed that Typed Rac

Re: [racket-users] Re: Executable file size and raco demod

I installed the latest build, and it does start. Generated executable is 80MB vs 32MB for 7.9 BC, about 10MB more than 8.0 release. I understand that there's a difference between bytecode and compiled binary size with CS, but I'm not certain if we're talking about the Racket distribution its

Re: [racket-users] Re: Executable file size and raco demod

Fantastic. Thanks for the info and the new build! Can’t wait to give it a test drive. Dex From: Matthew Flatt Sent: Monday, April 5, 2021 3:18:17 PM To: Dexter Lagan Cc: Racket Users Subject: Re: [racket-users] Re: Executable file size and raco demod The arch

Re: [racket-users] Re: Executable file size and raco demod

The archive size is misleading for two reasons: * the Northwestern snapshots include a lot more overall content by including tests, and * compression on the installer counteracts the mistake where the content of ".zo" files is not individually compressed; uncompressed individual ".zo"

Re: [racket-users] Re: Executable file size and raco demod

Hi, I stumbled over that error too.  Apparently Mathew said it would be fixed in the next build. cheers bruce > Windows 10 > Snapshot: 20210404-725710e** >    Windows >   [64-bit > x64](https://www.cs.utah.edu/plt/snapshots/current/installers/racket

Re: [racket-users] Re: Executable file size and raco demod

Windows 10 Snapshot: 20210404-725710e Windows 64-bit x64 Dex On Monday, April 5, 2021 at 12:54:24 PM UTC+2 Dexter Lagan wrote: > Upon opening DrRacket on 8.0.0.13, Utah build: > > ptr-set!: ca

Re: [racket-users] Re: Executable file size and raco demod

Upon opening DrRacket on 8.0.0.13, Utah build: ptr-set!: cannot install value into non-atomic memory value: # destination: # context...: C:\Program Files\Racket-8.0.0.13\collects\ffi\unsafe.rkt:1468:4: loop body of "C:\Program Files\Racket-8.0.0.13\share\pkgs\gui-lib\mred\private\gdi.

Re: [racket-users] Re: Executable file size and raco demod

Looks like it's the opposite. At the moment Utah's is half the size. I'll install the current Utah's and compare generated executables with 8.0 release. Utah: [image: Utah.png] Northwestern: [image: North.png] On Monday, April 5, 2021 at 11:42:46 AM UTC+2 Dexter Lagan wrote: > Hi Matthew, > >

Re: [racket-users] Re: Executable file size and raco demod

Hi Matthew, It is indeed the one from Utah. I’ll give the other one a try and report back. Thanks for looking into this! Dex On Sunday, April 4, 2021 at 8:32:00 PM UTC+2 Matthew Flatt wrote: > Hi Dex, > > Are you using a snapshot build from the Utah site --- as opposed to a > snapshot for