Profiler support

2014-02-04 16:24:59 -05:00 · 2014-02-04 16:24:59 -05:00 · 55481dbdaf
parent 67e9483d0e
commit 55481dbdaf
1 changed files with 3 additions and 1 deletions
--- a/minimart/core.rkt
+++ b/minimart/core.rkt
@ -139,7 +139,9 @@
 		     (lambda (exn)
 		       (log-error "Process ~a died with exception:\n~a" pid (exn->string exn))
 		       (transition (process-state p) (list (quit))))])
-      (match ((process-behavior p) e (process-state p))
+      (match (with-continuation-mark 'minimart-process
+				     pid ;; TODO: debug-name, other user annotation
+				     ((process-behavior p) e (process-state p)))
 	[#f #f]
 	[(? transition? t) t]
 	[x