Euphoria Ticket #320: with profile AND with profile_time

Right now when your app starts with:

with profile 
with profile_time 

the entire app runs (maybe lengthy because you are profiling it) and then after everything is done executing you get an error stating the two profile methods cannot be mixed.

It would be helpful to be able to mix the two. If not possible, at least throw the error prior to execution not to waste the users time.


Type: Feature Request Severity: Minor Category: Interpreter
Assigned To: unknown Status: New Reported Release:
Fixed in SVN #: View VCS: none Milestone: 4.1.0


Quick Links

User menu

Not signed in.

Misc Menu