suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Clarify impedance mismatch between profiler and blame info.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-11-12 17:40:49 -05:00
parent 44f810aa72
commit 0dcceccfa4
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/contract-profile/boundary-view.rkt
View File

@ -85,13 +85,14 @@
;; have the same name, results may be bogus. ;; have the same name, results may be bogus.
;; TODO fix this ;; TODO fix this
;; Refining results using source locations would be ;; Refining results using source locations would be
;; tricky: blame struct and profiler don't store source ;; tricky: blame struct contains location of the *id*
;; information in the same format (path with <collects> ;; of where the *contract* is applied, which doesn't
;; vs full path, and pointing to defined identifier vs ;; tell us anything about where the function actually
;; pointing to the whole definition). ;; *is*. (For `define/contract', it's the id of the
;; TODO check at least for inclusion of blame source in ;; definition, but that for `provide/contract', it's
;; profiler source. not 100%, but can get us closer ;; a location inside the `provide/contract'.) So can't
;; The current matching also won't work for contracted ;; really use source locations for correlation.
;; The current matching won't work for contracted
;; anonymous functions. (Probably rare, though.) ;; anonymous functions. (Probably rare, though.)
#:when (equal? (blame-value b) (node-id n))) #:when (equal? (blame-value b) (node-id n)))
n) n)