From 4246126c9e34c15a812da76d33d2a18cfeee4aa1 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 26 Aug 2020 18:43:36 -0400 Subject: =?UTF-8?q?Allow=20plain=20=F0=9D=95=8A=20=5F=F0=9D=95=A3=20=5F?= =?UTF-8?q?=F0=9D=95=A3=5F=20as=20labels?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/grammar.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'spec') diff --git a/spec/grammar.md b/spec/grammar.md index 291771b8..3808ac28 100644 --- a/spec/grammar.md +++ b/spec/grammar.md @@ -85,9 +85,9 @@ A braced block contains bodies, which are lists of statements, separated by semi FCase = ⋄? FuncHead ":" BODY _mCase = ⋄? _m1Head ":" BODY _cCase_ = ⋄? _m2Head_ ":" BODY - FMain = ( ⋄? F ":" )? BODY - _mMain = ( ⋄? ( _m | Mod1H1 ) ":" )? BODY - _cMain_ = ( ⋄? ( _c_ | Mod2H1 ) ":" )? BODY + FMain = ( ⋄? ( F | "𝕊" ) ":" )? BODY + _mMain = ( ⋄? ( _m | "_𝕣" | Mod1H1 ) ":" )? BODY + _cMain_ = ( ⋄? ( _c_ | "_𝕣_" | Mod2H1 ) ":" )? BODY brSub = "{" ( ⋄? s ":" )? BODY "}" BrFunc = "{" ( FCase ";" )* ( FCase | FMain ( ";" FMain )? ) "}" _brMod1 = "{" ( _mCase ";" )* ( _mCase | _mMain ( ";" _mMain )? ) "}" -- cgit v1.2.3