From 838181c116bf0ac25872fb0b8a48c49fa0b39297 Mon Sep 17 00:00:00 2001 From: Soispha Date: Wed, 27 Mar 2024 10:21:06 +0100 Subject: [PATCH] docs(grammar.ebnf): Don't reimplement already specified rules --- docs/grammar.ebnf | 2 +- docs/grammar.pdf | Bin 94676 -> 94309 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/grammar.ebnf b/docs/grammar.ebnf index adf2106..681c55c 100644 --- a/docs/grammar.ebnf +++ b/docs/grammar.ebnf @@ -42,7 +42,7 @@ Identifier = (CHARACTER | "_") { NUMBER | CHARACTER | "_" } ; DocIdentifier = {DocComment} {Attribute} (CHARACTER | "_") { NUMBER | CHARACTER | "_" } ; NamedType = Identifier ":" Type; -DocNamedType = {DocComment} {Attribute} Identifier ":" Type; +DocNamedType = {DocComment} {Attribute} NamedType; # (* This is syntax sugar for a `DocAttribute` *) diff --git a/docs/grammar.pdf b/docs/grammar.pdf index dec52ab8cf69312eb5923f6f4ea1d8f3c0337c80..16c0e411a53aa1fc28394138b99bcfcee2b92762 100644 GIT binary patch delta 6241 zcmV-n7@p_U;|1m51+X}11vE1tH8PVSb~}@JXek3VHZqfu4I_V5%W~B)4Bh)Hyo8Oh zoWxF+yoMb!ZSn&UZc94}rR6dVe~&bTpeu9Lm}Wx(4%hU(kvPZt#YZbm7Sc|BrTeB?E+ z_T7{__UM>y3{QUoHbe`9i*Xq2w3=5R9_IHC>w5Zeem&irkCVAFO=dTEpyq*z^@0Mn zEis}q=DywzKBof1gh~O+##gQ%OSv0)gpqqzGD9mh%$j>1LsdK(*NXiE9TEw(oiQqHTdJ z?+tJthAe;b4J-1&|tj9mhJJ!7q&Bp2s@H}FD9;xMNjv)y=Q+kRdO1hPr1g=ASDR$y-IcW!c zCG(4lyiDVLo+jA*OUV)sr18&R*3-A?@6Wx)Glw(iI=Ob+AU55`tw+SGszVZxRsAm` zZ`+30=zo#te7xRGUODu>TuS209%+1K{sCXVma%Ev{3V58I zRcTaHR~~x7qM%5JamU&@V;5~*PE$K|rrS9)wms)Q&gH`-&YUyzdCs{X-hKC-|Nq_J z|F_UoYz%)z({x;pL@KUXn+FyVDzwiEA?fkqnS8rqM|G`o ze_6v@<>_Kcj+CO7Q-7c`s9#W-)Cww_%BAwCZPa$Eh}uEzq>`yusn@9uR66xc1RN@s z5>t2R<+LY85Mzq@f|tzm#-_w}@|W>z`QI}+%s5yG@*#tr@pA`I02iF$o)6G-c|C%? zPNRRf@-}gB?=PumNcp@zjjYsbimgHwF6sfr^}ZpWv%}TSp2rLL*w36&{)_EBMps%+$)3h&?DUOh=-kAsemkgc{LG{WnaC36L7+}KVlXy zN&cEV!#2tV;cKhObA;LZ+LrPI!SOm)KBM^neF(off8!%j{9LkblKXy~j@*SeM{$4o zf+now*D>ZgjlLc=A+1yED(Wh9m!OR(wd#$Woo|Sf5s87M6bs2RT#WhuIRD_fsG)n? zj@P8ANVo@O2TI3srmG$y91HR8uQ0?buFTYxkBdTY`{g~aNB^EkvD6si;;$#%31j8M z#fj}MA{AguH?zgA_u6hk{4z*X9UOn@H=bRJ7yb>$;uUz&&M#MG@2kn#$9@XTj@-J+ z#vHX!13dPl$cx}`tFeTguLLO1V9YSX#B=y1?xf(v<&pEZr#F)YqQn9cQ?zA!N!G{- zQIrs)+~=e8505zp)4a}S@hF2K`tj6_%kN(s{StkL9?9-zU)ptx&?DqI1WA9tin(WU zAGU9S^BKUlO|Rc#fjEo1DLCnMpZ(&dMsh)PH}}j2L?}d_DogoINr5a=zaGK2^qvqK zj~_s3G-afVw0bF&7tYAUV~T(LTBF{JnFF++eCh?&(e-y(BCz9sxBbeFIR3a zWd9B0{Z7`Y5$c&opR;LyIiCkn-PLy7o9t+N#5;e9d4{4f|NO(Xy@E(g#{}V)s zb(Kp9&>x2Jt6?5j^RB?c6gf<8+Z4p#l2_E=Mzha|3L()0B)8~v28DmJN-ssQ{O#eh zEWSrp>cEt>LuW6B#07qLq2S}u)13nYqKOH9Drm938yIQ(V}~%F%P?Nay2>pHCS3ju zzxZHr;yEt;&jPhhZ_y%HYwDO}aXvsZmLY9WIa1n_f#BM$MSE&{>Vv`FKwpc^Wou=v z9-AAr!hulV`1F7*SCoGa$lCOVrc$x8UME2ZVPe6a$$hhvXL@I5MTzZsuI~CXONUXf z@13#85lQ|`fTR{foxWP9I9!KdrF?jTZ2|V{lVf0sk=4KPSiVP8e zkD5Do`5&Q{cMmPc!=vGB+_3MG}_GQNCbc7rnd7ecQZoj5{<;LJ1Sqd z-Gw{|j(Ut`ELjJ{Aw}C;5y63%2%jt`&)i;*d6&lmQ^RZ;XlceT%<#$T>jGpl>5T?; z{UM_a!Ia$lcoB}BzWvF?3nh7MMBIizQ(!J8kbvn)?pKqG6IFBhbE^bIuVU_7+SShI zA$bJm1)P71Pd2NV3Dj|Tyadj_0j$qAsyA99{;uxByVC`KS<; zG>9c7Wr`hWBP61aHem40ookpnDd}r_VrOgN9^M2V?A$tmqPA8p z>r)P%=<6FAs_m1p@f?oS{q8J{TOaedf*!%fmPViLHsstF0fyFIbswQ&kTK&;{P|hN zOg4YD+EjBP`cF(r!6IS@bB6REXihJF~vd!j4qq1Aq-z^-YtjYIqn zKn}OJwe?v4MAthAPWDyqWQi15vy6u9X!O>sq*WaG7Cr!W#)<+u1E%Q(O#rzOihD#B6*n?$;-TG zUi$u>m&ZMtVwM~Q*6c=I4ubKz4ld7&_jWL2Pkpv<%o!JVuO;p$6!kBq=2|S1f!-6d zesv4(0XdidZviNmvSR@qf609=dEnwCK1*;Go86gzf4;Uc*nrI~WKt9fmaVH>{dKpx zC8T7WNr$;ElbV?V7nhlqWF}`0cbF-Wg^S6Alz6IewJeli!lF_R6I#fMshQ-+G*O@1 z4pV5{YOoe-itK;H}Ikr~Jv6$m3yW-eP3siC(rX|MVXr?W6s_~~S zflTIdDg^Qg?lNsMf0xFmE#}%FEt0Or%W6iZg+4(!AvDGT(jb9}z6_Dpx+?CK z2~$cchksMWH8iC()j$alLV|ouD2`VYf>P2nD?*?VWfE@)fAEE}EK1pw(ljvqD_79y z(TF86a10G8C25d?Qq(Hg3ok=C67_8!zXHnI;K~YyODT)Wp*`E7(p2B!R0AXxjwG%$ z1*L2nI7&DUl_BocToP>r@oW5AXiv*HS5r!%52~*fNKFIK7Mh}7wL>EYM<7Kb>qQ|L9#A^380TIX4Ek*^B<_o!9D5zVxflFo-#H#wuC*(P zH#L+!gQ9b>C}7 ze$cBmBagkS{RfCr+>{Pxnsf657k_a62g)4>oq0v#f2IQTR&Vw0<#Wicy?%(Mnb_sK znCTzyPTNt?!g#>$>c{&Z@AiMZXTo*u9W=yQ>lZuoB4l4a`rcEs*F&3^e$+*$)hO!w ztwH3yPv0#eU;StF=_10oD#k^X-8Z|TmloJ-hTZ|_%8YMEwQ62Kg5Aa$`&G* zGkHH*os5Q9pFRL_ z2dyY34G~D>=O9nYgtRBkC$E_BdodrQ?;Q!bf9^nPKyYFJ2i@jF2%%mvs$rYh8IQqM z&F4eUe|W^Lqbde66WI@81V9<3MIvN_W3`*Hg z3Zn!-#V{HJiC|=+har$Q1*RhM<-w%MN_kl@Np~qQ)c~jCA)MMH)C7P^NMJGk$-`w! z71n<6ga@6AXRo~qRz9E9s|R07v7$;;-*oKkWy`;@(8gr2pRM6eB*75rsN6zr$$-+=`7Q(NDCF2e{gwJ z@iFE$fu$l653#i44(+#)nX+uTD2^@QkrexE&iEYA?3j}Y1Z*g8+Ap5 z9;++iI8!SmVG6<3Vul^+ztAd)e+;|UP+37yk;5TgC&j5`mDHbM;aOX%yJ|suEsR~( z>sMc|$}v{H91_J|30uv;4KMXD%s2N^)XeuU%*4*GgIgd$Hw`*VgYSI0%9%$T#Lobpl5GiS5HLy(kt5kKYLP<)W^IEL^zhxoV}Dd_u=07-1xL9YXj zZ3lfXFG<|31r^O`hbDX#OkICFuAkhNV#+ZW$CMOPzWx+Ze2!uj0SS$qYz%`Aj1si(57>EZV#uvSF;jPBB63TsR0E-hZv@I4xZti4gd z+DjZUZKF*As9CBke-Feh)nD~~Kj^RLp7~t6Is8_NMQyHO70%aAi@7qFbYyPC2~$9- z408B-K1}{%8$DV>_vJJc^p@(RgF&yoszRzC+}s>pmV-bq9tUuof;hlDe*yI0*ybFoJFnLvkI%jF zK$!CS8B??%W)XT%emm#}y&0CO%d=8p2%V9 ziz4FWbs3!mS=vI)5X{gTAn(+$XE z0~XnTQ)@x2E4LGGYdQ6APxdbAM{~eds%|V@=+&PWeP4ZPS8k?_AvC$D+purHh?*<= z_7_x7%dNH2HCD1d%DNL1&whTj1e0?4$U5Xj8X|X@n%pmusws~(s8a)p$o$6!^VlSOg;Vn<>5e?mLz2&(0K>c(-Ar4GYx0*XbnpWLSE zzW6rP<)Ap;N_P=&rfbeV_4@Z9h`dg#OBO&LeZ%wX+lanFI~w#?QgUZkpD(}6S)@wm z)#Li}EbB>xZB`v7sf{YcqIr0WyJ?Pw7+f;KKT?X5hPm8QwYch9cJJux&3<`!pSu|v8xHZn`)DB%LTX0 zJ1kkd#W(Z|IinjF=pJpS2ix%l*5==pc6V)-`Mz6-5B6`q-JI-yXdK5pAmq-u_b})- z`yG92ONe>j3}$3Zez6>tPCQAg8nitO|UJt{Zqm-bLDJUUG(x5@lo5p`^qCZh!@V9EA()LHSz~{m82+w97R>2k zw&1Gg;~~AHJN=I2cL~YyGQijXz%PCWub3=Mn4P$KMB@LMc+dSNh#x#uk|r|#2bTW> zgZ3;rlY!n7mrrj2t^qKY{%-*;e_$BK@#i^OEj@ZrrAO7J>RQ)2)U_A)a@;9J6DC7r z5izhKF^Ekh1~Cu|iAB;uh{UFoRiY8W+CkF9#QT3Ozr64FU%q_#BjnGr_na<*p#W2$#;UoUwHBsA9n@Q;CmE)}bZCI0)jF181~ftmW?G%fFbifw z6U?!?-)3lrxiAk}tp5L(EW>>mpbTOQ78vZp^S0I$#+rw?^tS ztbmoU3RYXU9%bl+HLw=ee_8k1GOULUuo1doll8EewE~-A3v^r0#xrb%ZLl47Sg&tn z*a^F!2YRj1_Zj-2A9lkY>*GjGOE2oE5jX0^r=)LxDzN&u;{5v4`wJ3&Rg7yHTYR&@O5iO^oBHcZ+)V_J057epwFRkI#4C)VrO!QXbij7Pz=8 z#IhhqWt)%bOjy_I(PG#rVF+m5)papu1<4to69E|T3k9+rkg}>4rzJa4`D)ENizBJvf?6*Q?!dSWYOi;z0N31cO@bT;=ln#^1wMp|z41QvQLDA@`u z^j0ue(CA5ernk;@za8?_w|~;_)Ym>KHg#t}=Mnq!NTGCd>JrBjrKiZEjJ~f)aPE@ekK{XWxI_+#Mb_BF9+=Zf!Oj!vjP^Cyf_v2no+HSd&9a6=G-}bD+z(EPy;P=C*)(fr0*tk_v0r z5{Z=90o>%V0MsbUGp-2)N&(u)3%Gl<&hutoAc_M--Eyr3`+D6e|F7+z_fmnEc<>v2 zzTAJxG7PR>oNlmgeOS4WU3*ydE^$1OlAo!}W%bt#1~#a>%y5 zQpg&vNZ~8>7md>|>I!9UWOHVma%Ev{3V58IRcTaH zR~~1h~X3m*!bI$wl-o5Yq@BRP&zlEl} zy(oX0rhQ`bq}fL{N6V!LWS;L0+-jOz3a$k<_oKC~6%QL&Z_?)CTHRYB!Zkg;IN{KBaaCQJPKPn0t#@xp!BUG9+tB8%EY^RVgO15+`?nlv2ll!`5PNX3ya# zgxJZP-smW(D?}PGDk`svH$x?^2TK*WQG@~R$B^_3eYqOc$%!t}cNcKzf}ni`&UG?L zHdQkkfp{34Kilm%f#9?&e;-S-foXrgR+U@>)i}!ulI=Q&c^cv}@KyTdU2o-=hwYWz z0oB$7Wu7iUEiMOjwgyWRg8dEZWR_TfIZ{`VR0H_~_5IvS{q(>?-11O>ZCr+ktbB1J zk&rcCK8O9V-#0&C7Ox8YiagC$$VCgY8_6?-Nqc=~)Y7qDrK;sqM*aN%g5H1O?~65xeJ&>_9}kAj!aD zvIeJM;XlvayCx}Xe>L=VX)qFpqnOT&vDoSShX{K^yzfg4@wzKBC0XMV_hF~JW54J2 zM2e+)H|KlJZ+-zQ9<20lwiAD;2pij(ofd7Q`3A%<0)OS9kske-)%eN3VsE?-FW>XU zhM4ptvFYrmz+jCl$*qVj7pp*nYt^$6#8}x&n_f7@{9eT)+J8?C5_N=v(wqc01iR0nPPh~a%&%&-JB<)Wb2mgojrC_fzoE)IFS#9edK)4XBFi#^ zUQSJvMQOJp__nse&HCa8JUxOt=}#5}_7%9=$-Hh=wU}lhRsi>z3;o9$jQS>tQ|&M| zBj|Fr^`9u|%sU`g>`s4T{|1cK7)6dIri|~jh3A3;!Q&08be7nFDZyX}*Fj%Aq@Uq@ z-1G+v0$k6dniPeq zN(B-hRQJ8Z;#2Xu0sCjc~K98kLyBN-i$2yWh$9A4Z}>T-2; zcGsHi<~r8YV6I1Xu+QB+KHVpalSBZrIijpGBU@3b$wP;re`5G#`rPE{u9-QBe{;OO zz4Y|zVbtX~ImU01!22R3HR?*VMVf-D5(IPQ!xL;Ruv~we9K%nXek@Hl_vAbD%>`Wg z7XjY9_-&>h4E6-Sik ztBXpM8lESWR-L`9uB=vt;1Q*==+IEn#QWzi;dPf-UQnBw-A#=yo7gjkk2v7~ef(1a zw-#>^rR>Q$5{+PB_+1RXzx2Vqk!F2%BYR9yFKd4|^j|xL@?seGhOcPe1KdQH9xnj`Ap1Hl1U+8@wD+ zRe8F79^uzp?5F|3(FT1cOSXV)cR|zJyi~ypL`c?>r*Cb=g3Du_Q^RZ+sI9@z%?QcH zYa)MCU9HvY%1aCNG6aL-?&9Uxd-~QV7tg20v%D?nIx9WI^uzQd_nXO;{>sIK#SJ2& zRWf&t&E>XdA$bUvM4VDcb|{$%)KWE`3YXphre`b4LyUYfXgk36T6LG{JIJj89&Rp8 z3EQ|H#`b-4+nu_{^u38?ZVX0fZW9g`rR;ymkcFXWlrbQ?QZ`oYHeH8!j;VTAKTzbB zj=a^CfRa#ZS$1A(W zPk+a|!F3Ngp5pCbwqtOtyIC)5m$Vi-^liM$w72(+r1!oVo=}ih$QGtm<(OZAA%}ne zOx|NmJN3FyPdqg{L5NM)gytcB5Bmb%XZYe*ANk#W^xK7%{x^Bk)H|7d_UZ=n#}H$1 z)J6hhg=&5*4y(h`h{UePKBWexU6uO1HPHVv?7g@}R8U+jmvt-p2fMom28z37tS^W8 zy5F9maor;Um)Ic+sjYCBc`K;D2rz#%b(MD$8oC$*-Y#64V+>@w(8cs%x~mNXE4;W= z!VrJsp9Q{)9ek}-GxUQ69PW8M)?Vaf5-qAG^EkvO0kYON*3}*FnP@wS;AD61 z9+pUfDO#_K@w8m*1Tjd{YU1<94hARO?NbO|X)g$7Ne(bY8mglV{7-TxD71ebw(Fee zlo)3Mye#Y5_Nc_ds5nX4mAt+Xwj_aV8z+x=dql1$nHR};;fHd6{$+hqz(NG_Q|)5;M{ zp>G@gD0J?Bn7m?fG=X~PLYZj9GVzFQF-zgwmkVY&%o21Tw@hs_3y&zggw0We z%2FUHt%_|jTc96QwWY(EZ8KZBiead>h1a(={xCiiIYOHFVvebhm$*7EzL?{1#T<({ zu47jmn`wb@I1ba&L}ksi<#ML+r?o&Ka|K5wkWYYrDB5JM63AQ3wJ|sh)zxTM6Xiia zt(o8^a@s}0!IQ3_1l5yF2#%?6O-g{W7`G6nNlhVP3*5mp2#s-INJ!X<=2J)^or(aJ z@J1M@0KJ8@Ij62DMU%>DLS2V?MPsJ4s2=_?E0jWWrX}bJ)G#$Tz(ymAnY16R47s}FE#9q5GgaQm$Ef|Gr{>T>X0Tm~qj%_bSF=(2u-+6oTOarOS$O z>4m{?(D6dzzR{giuj{uCf}iX=#|_K1_9Zcp68qY{t)QI&8lb+Y_Md-_y0{nw-C@TY zus0tr8tlVE5Jq8V;6Fu}i+wKl#anbe@LG`{^lPoiV{dBz0iqN)rIO$QrQdP!2j_o( zpx$ZFT~uY%RDj;r?fVdT9{-Yq6y{b%%{8DU%%qgiEltzPIQ z6%JaVcLcgJ`4fdUD;5Bjq?{3y~?w=kxVB#Hl&?rjLSLj7LM?l;h*Pgk+gs zrz4J^rMtKX9;){{LD%o!GrV5E+7JEY28cUsMhQvZw!pc7`~0)>d5bTCe+`KBk*&pH(U#b*C$tB zK7K8Sp;ZP$I}1adf?)y-y3RsJLnD?!Dg8-c6a%OjMpGaWj7;<}2GX{`R7Ackm^4`_ zn+20}R{~QFa5^2ssWU-M0H}ln7UQ2RTy|7p9R`oM(QQ6?oprGC@vL5dJ^ECN6;-OT zY^P9V*)UjR1!Gxu2`Xkw^Ek<)C5;ZWHO0diD>hyD|zEPHow1g8(i zv2g-B?#wthu8gk}gDr+t*lUFkMwA8Bj;fxTH}L=Qp0#4SIjkLix+n#gRjPgzFErIg zN?@{TS#_l}-@se`lV2fa!Id}b__mF@B0^8qm2jMy6_PN?iL;!4VTb28v`Qkwu02*( zP*mh_7_E~=sd$w%m}B8tJF2^CLFZW*yQS0)H?j@*M z>|dCRp>5!&h=}WZ80@Wh7;4Z=&GC|m5aj(mZ1pA%gtKeJR*H!|J>I zc6Ir=95gn6A**kHs)~y3KE8t0R|c&Ywfl;Q{0i;9TE_AtyRWl^gCvN5Mu9QBpFQBw@-VNySu>w3wA7A$XD`IA+o|@Z6!d_|A-r z+7af*`x&v@>;&aP10#{12@TltH--jYlR!D?;syOX-y5udBU2i+i|S3iT&Cz1{E|-2 zFG;c@D=&CPTEzazR48DwqMR=$5($u3$4Ps|GGpuNxQLV~bJmnIKFUSrY+85-k}@0d zQyz@P2MLc;2#-sMkL!tozMBY;*rpx!yWrSPFz~XH#NAm?(TsL!!q>sn!DapE=&Te| zj#-8&OQ$h^B}Ivz&T8araBH5vEn7a$Gjq#vHT7&x7mE{oZUbXQq|KSUuR=MWjFfV0 z_I83^(9dD(X^gI48BjTDH$heJ4eJ16?Wi16rFu%K45q9!rmR(6F?o%~ z*Kq2rjdCjJVloU z;*M&!`d|*FE>5a@31_Na<*rp?!11N{6TldJz>flq)gF*h(_o=`myagYpJ?CEfvPl znaE2*N{KkF`FD37IwDujcVhqX;BI$M$~@0Ob8z;dab0fsx@rYwYZo|Z_(t6`X&23` zyqLQWb1Q~x0r6g|OD6A-No>^dUd#Dz7}wf=q;|IWLfoXQY!NpNzYhsQ)4vXGj{n=J zH_pp(u`o5Xvv=w(R9EqUPFO{w3AZYHO`zjWz4rk3IX@)e=m~)#L7v7fAr! zWp0uj9VeV*=pf-FLudLX8FV@c(2q`k7)~;D_;iw?bAiu^%?mMeZcm8ccyRA^iIniE z)mclVG>+@X$K{cEIvKk3$}bc0m{eI3Q;{x52&GukBzQo%6yVCBy%~IdDOYyL`c09Z{-Ey}(Zj&Q_rF1E2GP4yHi4NLQf}PNzd_vA?JPoOFq9I7CG^P)#PME_ zln_kEkF2RbPmF){Ar0o_s9SK|_i>Zn(Vcxq^1FoOco|}B0N^LTi&u;nCd`gqJtFr1 zy(ymAHwNzvce~WfL@&m(Fbg!2vOskZu7ke^4C9@!zix*Q4$Ay4tFG*0U&8 z>RIYttzJ~GXAKNZ7)%z)T}VVEEMhQ7EFC3CL_{ni2DMqmV(3U>G2#FHTRu7e^UX<4 zPL3q~we&+)!|kA@JLq^9^b~@=QZR5csQe1X9|t$8!JWb2KK1E~;MvvS702E;2cJI$ z-yQ}(fA7hzeW@C$wH;zl#T+l#S4MJm5ezj@3w2iAt*rGh4GJ*bDn7|D17^Z3Xt3HQ zGc-aI6k)d2sSI;qF3f}ZR`1&kC0GE>&|>xfzho;cgf>`Y4ZY5A5EjR~)aSSamclYv zZjCi%SOFcd5>{E)K4w@AYhW#`v#Ny*overQ5dkkR5Bcc zK^TJL*3|b5!%&73aMJqSp5YXXz-btTirqMx^*o%lOXE47voB5LYRtY|jvsb?SpNVb Y1Gh%#mpyO+9SbxtGcXDzB}Gq03JT2eY5)KL