From 93e2a74f09dba27eaa33ab35ada44927158bd13d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 10 Aug 2012 16:26:29 -0400 Subject: [PATCH] Correctly parse Windows paths in Optimization Coach. Closes PR12966. --- collects/typed-racket/optimizer/tool/mzc.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/optimizer/tool/mzc.rkt b/collects/typed-racket/optimizer/tool/mzc.rkt index f06e549a95..6e9f61efbe 100644 --- a/collects/typed-racket/optimizer/tool/mzc.rkt +++ b/collects/typed-racket/optimizer/tool/mzc.rkt @@ -67,7 +67,9 @@ ;; _Where_ this happens (in which function, can't get more precise info). (string-append ;; maybe full path info: path, line, col, name - "( in: (([^ :]+):([^ :]+):([^ :]+): )?([^ ]+))?" + ;; path allows `:' as the second character (and first, but not a problem) + ;; to support absolute windows paths (e.g. C:\...) + "( in: (([^ :]?[^ ]?[^ :]+):([^ :]+):([^ :]+): )?([^ ]+))?" ;; maybe module info, useless to us (at least for now) "( in module: [^ ]+)?") " size: ([^ ]+) threshold: ([^ ]+)"