2004-03-10 12:23:45 -05:00
|
|
|
(define-interface mini-profiler-interface
|
|
|
|
|
(export
|
|
|
|
|
profile-init!
|
|
|
|
|
display-profile
|
|
|
|
|
(define-prof :syntax)
|
2004-03-12 03:00:19 -05:00
|
|
|
(account-for :syntax)))
|
|
|
|
|
|
|
|
|
|
(define-structure mini-profiler mini-profiler-interface
|
2004-03-10 12:23:45 -05:00
|
|
|
(open scheme
|
|
|
|
|
table
|
|
|
|
|
formats
|
|
|
|
|
extended-ports
|
|
|
|
|
time)
|
|
|
|
|
(files profile))
|
|
|
|
|
|
|
|
|
|
(define-structure no-mini-profiler mini-profiler-interface
|
|
|
|
|
(open scheme)
|
|
|
|
|
(files no-profile))
|
