From 35a961fca7935982e2bc142675f33af07da0076f Mon Sep 17 00:00:00 2001 From: John Haugeland Date: Sun, 4 Jun 2017 19:43:14 -0700 Subject: [PATCH] support for descitems --- src/js/jssm-dot.peg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/js/jssm-dot.peg b/src/js/jssm-dot.peg index 8d0f6994..7a06aaf1 100644 --- a/src/js/jssm-dot.peg +++ b/src/js/jssm-dot.peg @@ -50,7 +50,7 @@ DescValue = label:Label DescItem - = text:Label ":" value:DescValue ";" + = text:Label ":" value:DescValue ";" { return {text:text, value:value}; } DescItems = DescItem+ @@ -64,7 +64,7 @@ Subexp Whitespace rdesc:ArrowDesc? Whitespace label:Label Whitespace tail:Subexp? { - return {kind: arrow, to: label, se:(tail === [])? undefined: tail}; + return {kind: arrow, ldesc: ldesc, to: label, rdesc: rdesc, se:(tail === [])? undefined: tail}; } Exp