From 28c30d8da126ac42cd922e56c5ea7c9cccf0f9c3 Mon Sep 17 00:00:00 2001 From: Lars Willighagen Date: Thu, 23 Jan 2025 13:30:42 +0100 Subject: [PATCH] Remove mandatory node-space before slashdash Fix #495 --- draft-marchan-kdl2.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/draft-marchan-kdl2.md b/draft-marchan-kdl2.md index e65240f..865d13a 100644 --- a/draft-marchan-kdl2.md +++ b/draft-marchan-kdl2.md @@ -936,11 +936,11 @@ document := bom? version? nodes nodes := (line-space* node)* line-space* base-node := slashdash? type? node-space* string - (node-space+ slashdash? node-prop-or-arg)* + (node-space* (node-space | slashdash) node-prop-or-arg)* // slashdashed node-children must always be after props and args. - (node-space+ slashdash node-children)* - (node-space+ node-children)? - (node-space+ slashdash node-children)* + (node-space* slashdash node-children)* + (node-space* node-children)? + (node-space* slashdash node-children)* node-space* node := base-node node-terminator final-node := base-node node-terminator?