On 28/03/18 10:23, 'Paulo Matos' via Racket Users wrote:
> True, I can confirm that. I will open an issue on this.
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
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
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
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)
(dynamic-place "any-double.rkt" 'place-entry))
Mail list logo