From 94b525a1da13222b5b974cc4ecec960fef22b958 Mon Sep 17 00:00:00 2001 From: Thomas Jollans Date: Mon, 16 Dec 2024 22:53:00 +0100 Subject: [PATCH] Allow escline everywhere --- SPEC.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/SPEC.md b/SPEC.md index eec72ff..9fa42f6 100644 --- a/SPEC.md +++ b/SPEC.md @@ -906,14 +906,14 @@ unicode-space := See Table (All White_Space unicode characters which are not `ne single-line-comment := '//' ^newline* (newline | eof) multi-line-comment := '/*' commented-block commented-block := '*/' | (multi-line-comment | '*' | '/' | [^*/]+) commented-block -slashdash := '/-' (node-space | line-space)* +slashdash := '/-' line-space* // Whitespace ws := unicode-space | multi-line-comment escline := '\\' ws* (single-line-comment | newline | eof) newline := See Table (All Newline White_Space) // Whitespace where newlines are allowed. -line-space := newline | ws | single-line-comment +line-space := node-space | newline | single-line-comment // Whitespace within nodes, where newline-ish things must be esclined. node-space := ws* escline ws* | ws+ ```