Re: [racket-users] Profiling places

2018-03-28 Thread 'Paulo Matos' via Racket Users
On 28/03/18 10:23, 'Paulo Matos' via Racket Users wrote: > True, I can confirm that. I will open an issue on this. Done #2019. https://github.com/racket/racket/issues/2019 -- Paulo Matos -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To

Re: [racket-users] Profiling places

2018-03-28 Thread 'Paulo Matos' via Racket Users
On 27/03/18 17:18, Vincent St-Amour wrote: > On Tue, 27 Mar 2018 07:55:08 -0500, > 'Paulo Matos' via Racket Users wrote: >> >> I was trying to confirm my suspicion that profile needs to be manually >> setup in each place for profiling. > > Right. Each place has its own separate runtime, and the

Re: [racket-users] Profiling places

2018-03-27 Thread 'Paulo Matos' via Racket Users
On 27/03/18 14:55, 'Paulo Matos' via Racket Users wrote: > > 1. setup a profile command line argument that's passed to places-profile.rkt > 2. send a flag indicating if we need profiling in any-double? > 3. then use profile-thunk on the function if profiling is required, or > nothing if

[racket-users] Profiling places

2018-03-27 Thread 'Paulo Matos' via Racket Users
Hello, I was trying to confirm my suspicion that profile needs to be manually setup in each place for profiling. So I created (based on the example in the manual) ;; places-profile.rkt #lang racket (define (main) (define p (dynamic-place "any-double.rkt" 'place-entry)) (for ([i