From feec0f85d5da14a3a9ec5fa2d974d3ed0c4f455f Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Fri, 6 May 2016 13:48:55 -0700 Subject: [PATCH] better regexp --- brag/brag/rules/parser.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/brag/brag/rules/parser.rkt b/brag/brag/rules/parser.rkt index 1c74802..a00f44f 100755 --- a/brag/brag/rules/parser.rkt +++ b/brag/brag/rules/parser.rkt @@ -91,8 +91,7 @@ ;; angles indicate splicing. set splice value to #t [(RULE_HEAD_HIDDEN pattern) (begin - (begin - (define trimmed (cadr (regexp-match #px"<(\\w+)>\\s*:$" $1))) + (define trimmed (regexp-match #px"<(.+)>\\s*:$" $1)) (rule (position->pos $1-start-pos) (position->pos $2-end-pos) (lhs-id (position->pos $1-start-pos) @@ -102,7 +101,7 @@ (position-col $1-start-pos)) trimmed #t) - $2)))]] + $2))]] [pattern [(implicit-pattern-sequence PIPE pattern)