From d3bad2676672887724b9b7b6d55f01861b364237 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 21 Feb 2012 12:47:17 -0500 Subject: [PATCH] Be more permissive wrt inliner output. --- collects/typed-racket/optimizer/tool/mzc.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/optimizer/tool/mzc.rkt b/collects/typed-racket/optimizer/tool/mzc.rkt index 56464b1ef4..7993f56594 100644 --- a/collects/typed-racket/optimizer/tool/mzc.rkt +++ b/collects/typed-racket/optimizer/tool/mzc.rkt @@ -65,8 +65,8 @@ (string-append ;; maybe full path info: path, line, col, name "( in: (([^ :]+):([^ :]+):([^ :]+): )?([^ ]+))?" - ;; module info, useless to us (at least for now) - " in module: [^ ]+") + ;; maybe module info, useless to us (at least for now) + "( in module: [^ ]+)?") " size: ([^ ]+) threshold: ([^ ]+)" "$")) @@ -85,6 +85,7 @@ ,what ,name ,path ,line ,col ,pos ,span ,only-name ,where ,where-loc ,where-path ,where-line ,where-col ,where-name + ,maybe-module-info ,size ,threshold) (inlining-event kind (string->symbol (or name only-name))