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

2021-04-05 Thread Ben Greenman
> 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?

2021-04-05 Thread Ryan Kramer
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

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

2021-04-05 Thread Dexter Lagan
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

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

2021-04-05 Thread Dexter Lagan
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

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

2021-04-05 Thread Matthew Flatt
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

2021-04-05 Thread Bruce O'Neel
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 >

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

2021-04-05 Thread Dexter Lagan
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!:

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

2021-04-05 Thread Dexter Lagan
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

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

2021-04-05 Thread Dexter Lagan
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

2021-04-05 Thread Dexter Lagan
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