From 3d8854c472fad7ab8053c3dd4d265dfe0ad6c5c6 Mon Sep 17 00:00:00 2001 From: eugenesvk Date: Tue, 21 Jan 2025 13:53:39 +0700 Subject: [PATCH] add space-separators between sets --- draft-marchan-kdl2.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/draft-marchan-kdl2.md b/draft-marchan-kdl2.md index 442cc9e..25acffa 100644 --- a/draft-marchan-kdl2.md +++ b/draft-marchan-kdl2.md @@ -984,11 +984,11 @@ string-character := ws-escape := '\\' (unicode-space | newline)+ hex-digit := [0-9a-fA-F] hex-unicode := hex-digit{1, 6} - surrogate - above-max-scalar // Unicode Scalar Value in hex₁₆, leading 0s allowed within length ≤ 6 -surrogate := [0]{0,2}[dD][8-9a-fA-F]hex-digit{2} -// U+D800-DFFF: D 8 00 -// D F FF -above-max-scalar = [2-9a-fA-F]hex-digit{5} | [1][1-9a-fA-F]hex-digit{4} -// >U+10FFFF: >1 _____ 1 >0 ____ +surrogate := [0]{0, 2} [dD] [8-9a-fA-F] hex-digit{2} +// U+D800-DFFF: D 8 00 +// D F FF +above-max-scalar = [2-9a-fA-F] hex-digit{5} | [1] [1-9a-fA-F] hex-digit{4} +// >U+10FFFF: >1 _____ 1 >0 ____ raw-string := '#' raw-string-quotes '#' | '#' raw-string '#'