3
V'ícü ã @ s¶ d Z ddlZddlmZmZmZmZmZ ddlm Z m
Z
m Z m Z m
Z
mZmZmZmZ ddddd gZG d
d deZG d d deZG d d deZG d
d deZG dd d eZdS )zÈ
pygments.lexers.ml
~~~~~~~~~~~~~~~~~~
Lexers for ML family languages.
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
é N)Ú
RegexLexerÚincludeÚbygroupsÚdefaultÚwords) ÚTextÚCommentÚOperatorÚKeywordÚNameÚStringÚNumberÚ PunctuationÚErrorÚSMLLexerÚ
OcamlLexerÚOpaLexerÚ ReasonLexerÚ
FStarLexerc ) @ s e Zd ZdZdZdgZdddgZddgZd d
d d d
ddddddddddddddd d d d d d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1h)Zd2d3d4d5d6d7d8hZ d9d:d;d<d=d>d?d@dAdBh
Z
dCZ dDZ dEdF Z
dGdH ZdIdJ ZdKdL ZdMefdNejdOfgdPedQfdRedSfdTejdfdUejdQfdVejdSfgdWdXjdYdZ e
D efd[ejd\fd]ejd^fd_ej fd`ej fdaej fdbej fdcej fddej fdeej fdfe j fdge e j fdhe e j fdiejdjfdkejdlfdmejdnfdoejdpfdqe j!fdre edsfdWe efdWe efgdre efdWe edSfdWe edSfdMe"fdte"fge#dQge$dudvejdwfdxejdfe$d{e$d|dte"fge$dud}efdNejdOfd~ejdzfdejdfd3edzfdejdfe$d{e$d|dte"fg
e
eje
ejddXje edSfge$due$ddWe e j%fe#dSge$dudqe j!fdedfdWe e j&dSfdWe e j&dSfe#dSge$dudqe j!fdedfd
e e f e'e j(eedSfd
e e f e'e j(eedSfdWe e j(dSfdWe e j(dSfe#dSge$due$ddqe j!fdedfde edfdWe ej)fdWe ej)fdte"dSfge$dudejdfe$de$d|dte"dSfge$due$ddqe j!fdedfde'eeejdSfde ed fdWe ej)fdWe ej)fdte"dSfg e$dudejd¡fdejd¢fdejfde e'eee j*fde e'eee j*fe$de$d|dte"fg e$dude e'ejee j*fde e'ejee j*fdejfde e f e j*fe#dSge$dudWe e j*dSfdWe e j*dSfdte"dSfgd}efdNejdOfdqe j!fe e fd?efdedSfe e fgdejfdNejdfdejdSfdejfgdZ+dS )£r zB
For the Standard ML language.
.. versionadded:: 1.5
z Standard MLZsmlz*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardmlZabstypeÚandZandalsoÚasÚcaseÚdatatypeÚdoÚelseÚendÚ exceptionÚfnÚfunÚhandleÚifÚinZinfixZinfixrÚletÚlocalZnonfixÚofÚopÚopenZorelseÚraiseÚrecÚthenÚtypeÚvalÚwithZwithtypeÚwhileZeqtypeÚfunctorr ZsharingÚsigÚ signatureÚstructZ structureÚwhereú:z\|ú=z=>z->ú#z:>ú(ú)ú[ú]Ú{Ú}ú,ú;z...Ú_z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c C s: d| fdt jfdt jfdt jfdt jfdt jfd| dfgS ) Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]z
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\ú"z#pop)r ÚEscapeZInterpol)Zwhatkind© rA ú6/tmp/pip-build-gk9425m9/Pygments/pygments/lexers/ml.pyÚstringy< s zSMLLexer.stringyc c sP |j d| jkrt}ntj}|jd||j dfV |jdt|j dfV d S )Né é )ÚgroupÚalphanumid_reservedr r Ú NamespaceÚstartr )ÚselfÚmatchÚtokenrA rA rB Úlong_id_callbackK s
zSMLLexer.long_id_callbackc c sL |j d| jkrt}n|j d| jkr,t}nt}|jd||j dfV d S )NrD )rF rG r Úsymbolicid_reservedr rI )rJ rK rL rA rA rB Úend_id_callbackS s zSMLLexer.end_id_callbackc c sF |j d}|| jkr tj}n|| jkr,t}nt}|jd||fV d S )NrD )rF rG r
ÚReservedrN r r rI )rJ rK ÚstrrL rA rA rB Ú id_callback\ s
zSMLLexer.id_callbackz\s+z\(\*Úcommentz\(|\[|\{Úmainz\)|\]|\}ú#popz\b(let|if|local)\b(?!\')z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')z(%s)ú|c c s | ]}t j|V qd S )N)ÚreÚescape)Ú.0ÚzrA rA rB ú <genexpr>| s zSMLLexer.<genexpr>z#"Úcharr? Ústringz~?0x[0-9a-fA-F]+z0wx[0-9a-fA-F]+z0w\d+z~?\d+\.\d+[eE]~?\d+z
~?\d+\.\d+z~?\d+[eE]~?\d+z~?\d+z#\s*[1-9][0-9]*z#\s*(%s)z#\s+(%s)z \b(datatype|abstype)\b(?!\')Údnamez\b(exception)\b(?!\')Úenamez4\b(functor|include|open|signature|structure)\b(?!\')Úsnamez\b(type|eqtype)\b(?!\')Útnamez \'[\w\']*z(%s)(\.)Údottedz\S+Ú
whitespacez\b(val|and)\b(?!\')Úvnamez\b(fun)\b(?!\')úmain-funÚfnameÚ
delimitersÚcorez\sz\b(fun|and)\b(?!\')z\b(val)\b(?!\')z\b(case|handle)\b(?!\')z(?=\b(%s)\b(?!\'))Úbreakoutz\(Útyvarseqz(%s)(\s*)(=(?!%s))z=(?!%s)Útypbindz\b(and)\b(?!\')z(=)(\s*)(datatype)ÚdatbindÚdatconz\b(withtype)\b(?!\')z\b(of)\b(?!\')z
(\|)(\s*)(%s)z
(\|)(\s+)(%s)z(and\b)(\s+)(%s)z(and\b)(\s*)(%s)z (%s)|(%s)z\)z[^(*)]z#pushz\*\)z[(*)])rc rg rh rb ÚrootrT zmain-funr\ r] ri r` rf rd ra rk r^ rl r_ rm rj rS N)rT rT )rU re rf )rU rT rd )rU rT )rU rk )rU ra )rU rl rm )rU r^ )rU ra ),Ú__name__Ú
__module__Ú __qualname__Ú__doc__ÚnameÚaliasesÚ filenamesÚ mimetypesrG rN Znonid_reservedZ
alphanumid_reZ
symbolicid_rerC rM rO rR r r Ú Multiliner r
rP Újoinr ÚCharÚDoubler
ÚHexÚIntegerÚFloatr ZLabelZ Decoratorr r r rH ZFunctionr ÚVariableÚTypeÚClassÚtokensrA rA rA rB r s8
c 0 @ sº e Zd ZdZdZdZdgZddddgZd gZdZ dZ
dcZ d Z dlZ
dmZd¡Zdvejfdwejfdxejfgdyefdzejjfd{ejd|fd}ejfd~edfddje efddje
ddd¢
efd
ee
e f efddje ej fddje ej fdefde j fde j fde j!fde j"fde j#fdej$fdej$fdefdej%drfdej&fgdefdedfdedfdefgdej%fe'ddej%fdej%dfgdyefdFe(fdejfdejdfdedfe)dgdZ*dS )£r z<
For the OCaml language.
.. versionadded:: 0.7
ZOCamlzhttps://ocaml.org/Zocamlz*.mlz*.mliz*.mllz*.mlyz text/x-ocamlr ÚassertÚbeginÚclassÚ
constraintr ÚdoneÚdowntor r r ÚexternalÚfalseÚforr Úfunctionr. r r! r ÚinheritÚ initializerÚlazyr" rK ÚmethodÚmoduleÚmutableÚnewÚobjectr$ r& Úprivater' r( r/ r1 r) ÚtoÚtrueÚtryr* Úvaluer+ ÚvirtualÚwhenr- r, ú!=r5 ú&ú&&ú\(ú\)ú\*ú\+r< ú-ú-\.ú->ú\.ú\.\.r3 ú::ú:=ú:>r= ú;;ú<ú<-r4 ú>ú>]ú>\}ú\?ú\?\?ú\[ú\[<ú\[>ú\[\|r9 r> ú`ú\{ú\{<ú\|ú\|]ú\}ú~z[!$%&*+\./:<=>?@^|~-]r ÚasrÚlandÚlorÚlslÚlxorÚmodÚorz[!?~]z[=<>@^|&+\*/$%-]ÚunitÚintÚfloatÚboolr] r\ ÚlistÚarrayz
\\[\\"\'ntbr]z
\\[0-9]{3}z\\x[0-9a-fA-F]{2}z\s+zfalse|true|\(\)|\[\]z\b([A-Z][\w\']*)(?=\s*\.)rb z\b([A-Z][\w\']*)z \(\*(?![)])rS z\b(%s)\brV z(%s)NrD z
(%s|%s)?%sz
[^\W\d][\w']*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z0[xX][\da-fA-F][\da-fA-F_]*z0[oO][0-7][0-7_]*z0[bB][01][01_]*z\d[\d_]*z7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'z'.'ú'r? z[~?][a-z][\w\']*:z[^(*)]+z\(\*z#pushz\*\)z#popz[(*)]z[^\\"]+zescape-sequencez\\\nz[A-Z][\w\']*(?=\s*\.)z [A-Z][\w\']*z
[a-z_][\w\']*)zescape-sequencern rS r] rb )0r r r r r
r r r r r r r r r r r r. r r! r r r r r" rK r r r r r r$ r& r r' r( r/ r1 r) r r r r* r r+ r r r- r, ))r r5 r r r r r r¡ r< r¢ r£ r¤ r¥ r¦ r3 r§ r¨ r© r= rª r« r¬ r4 r r® r¯ r° r± r² r³ r´ rµ r9 r> r¶ r· r¸ r¹ rº r» r¼ )r r½ r¾ r¿ rÀ rÁ r rà )rÄ rÅ rÆ rÇ r] r\ rÈ rÉ éÿÿÿÿ)+ro rp rq rr rs Úurlrt ru rv ÚkeywordsÚkeyoptsÚ operatorsÚword_operatorsÚ prefix_symsÚ
infix_symsÚ
primitivesr r@ r r ÚBuiltinÚPseudorH r r rx r
r ÚWordr r
r} r{ ÚOctÚBinr| ry rz r~ r r r r rA rA rA rB r c sz
c @ sÀ e Zd ZdZdZdgZdgZdgZdxZd"Z d#Z
d$Z d%e j
fd&e j
fd'e j
fgd(ed)fd*efged+d,efged-eed.d.d/efd0e d. ejjfd1ejfd2ejfd3ejfd4ejfd5ejfd6ejfd7ejfd8ejfd9e j d:fd;e j fd<e d=fd>e d?fd@e j dAfdBej fdCe
dD ej fdEej!fdFe
dD efdGe
e fdGe e fdHe d fdIe ej"fdJe e j fdKe j fe efged-dLej"fe#dyged-dOej"dzfdQej"d{fe dO ej"d|fe ej"d?fdIe ej"fe#d?ged-e#d}ged-dUej"d~fe#d?ged-dLej"dfdVej"dfe#d?ged-dXej"dNfdLej"dfe#d?ged-dYej"fdZej"fdOej"d=fd[ej"d?fged-d\ej"fdZej"fd<ej"d=fd>ej"d?fgd]efd(ed=fd^ed?fdZefgd_e j fd9e j d?fd<e d`fedagdbe j fdce j d?fd<e d`fedagdde j dfdfe j dfgdhe j d?fgd,efdie j djfdke j d?fdfe j dfgdIe j d
fd9e j dfdJe e j d?fdKe j dfdme j d?fd<e dfgdnedofdpe j dfdre j dAfd<e d`fdse j fgdted?fduefgdvZ$dwS )r z@
Lexer for the Opa language.
.. versionadded:: 1.5
ZOpaZopaz*.opaz
text/x-opar r r r ÚclientÚcssÚdatabaseÚdbr r r r Úforallr r ÚimportrK r rà ÚpackageÚparserr( Úserverr) r* r+ r, Ú
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]z
\\[\\"\'ntr}]z
\\[0-9]{3}z\\x[0-9a-fA-F]{2}z/\*znested-commentz//.*?$Úcommentsz\s+zcomments-and-spacesz\b)ÚprefixÚsuffixú@z-?.[\d]+([eE][+\-]?\d+)z-?\d+.\d*([eE][+\-]?\d+)z-?\d+[eE][+\-]?\d+z0[xX][\da-fA-F]+z 0[oO][0-7]+z
0[bB][01]+z\d+z#[\da-fA-F]{3,6}r? r] z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'z\{z#pushz\}ú#popz<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!r7 z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r3 rÊ r5 z#(?=\{)z->ú
type-lhs-1útype-with-slashz\(ú
type-tuplez~?\{ú type-recordú slash-type-1útype-1ú/z(?=,)ú
type-arrowz
,(?=[^:]*?->)z[^()/*]+z[/*]z\)z[^{}/*]+z[^/*]+z\*/z[^\\"{]+rn zescape-sequencez [^\\\'{]+z\'z[\w\-:]+ú html-attrr ú html-contentz [\w\-:]*>z [\w\-:]+=zhtml-attr-valuez/>ú
single-stringz [^"\'{`=<>]+z<!--z html-commentz</ú html-end-tagr« z[^<{]+z-->z[^\-]+|-)zescape-sequencerã zcomments-and-spacesrn r* ztype-1ztype-with-slashz slash-type-1z
type-lhs-1z
type-arrowz
type-tuplez type-recordznested-commentr] z
single-stringz
html-open-tagz html-end-tagz html-attrzhtml-attr-valuez html-contentz html-commentN) r r r r rÙ rÚ rÛ rÜ r r r r rÝ r r rÞ rK r rà rß rà r( rá r) r* r+ r, râ )rç rè ré )rç rê )rç rë )rç rê )rç rì rí )rç rí )rç r* )rç rï )rç r* )rç rð )rç rñ )rç rñ )rç rò )rç r] )rç rn )rç rn )rç ró )%ro rp rq rr rs rt ru rv rÍ Zident_reZop_reZpunc_rer r@ r r r r r
r rÔ rÕ r
r} r{ r× rØ r| rz ry r ÚSingler~ rH r r r rA rA rA rB r À sà
c 0 @ sÌ e Zd ZdZdZdZddgZddgZdgZd Z d¡Z
ddZ d¢Z dnZ
doZd£Zdxejfdyejfdzejfgd{efd|ejjfd}ejd~fdejfdejfdejdfddje e fd
dje
ddd¤
e j fdee
e f e fddje e j fddje e j fdefde j!fde j"fde j#fde j$fde j%fdej&fdej&fde fdej'dtfdej(fgdejfdejdfdejdfd?ejfgdej'fe)ddej'fdej'dfgd{efdEe*fdejfdejdfdedfe+dgdZ,dS )¥r z?
For the ReasonML language.
.. versionadded:: 2.6
ZReasonMLzhttps://reasonml.github.io/ZreasonmlÚreasonz*.rez*.reiztext/x-reasonmlr r r r r
r r r r r r r r r r Úesfunr r. r r! r r r r r" Úswitchr Úpubr r Únonrecr r$ r& Úprir( r/ r1 r) r r r r* r+ r r r- r, ú!=r5 r ú&&ú\(ú\)ú\*ú\+r< r¢ ú-\.ú=>ú\.ú\.\.ú\.\.\.r3 ú::ú:=ú:>r= ú;;r« ú<-r4 r ú>]ú>\}ú\?ú\?\?ú\[ú\[<ú\[>ú\[\|r9 r> r¶ ú\{ú\{<ú\|ú\|\|ú\|]ú\}r¼ z[!$%&*+\./:<=>?@^|~-]r r½ r¾ r¿ rÀ ÚlsrrÁ r rà z[!?~]z[=<>@^|&+\*/$%-]rÄ rÅ rÆ rÇ r] r\ rÈ rÉ z
\\[\\"\'ntbr]z
\\[0-9]{3}z\\x[0-9a-fA-F]{2}z\s+zfalse|true|\(\)|\[\]z\b([A-Z][\w\']*)(?=\s*\.)rb z\b([A-Z][\w\']*)z//.*?\nz \/\*(?!/)rS z\b(%s)\brV z(%s)NrD z
(%s|%s)?%sz
[^\W\d][\w']*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z0[xX][\da-fA-F][\da-fA-F_]*z0[oO][0-7][0-7_]*z0[bB][01][01_]*z\d[\d_]*z7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'z'.'rÊ r? z[~?][a-z][\w\']*:z[^/*]+z\/\*z#pushz\*\/z#popz[^\\"]+zescape-sequencez\\\nz[A-Z][\w\']*(?=\s*\.)z [A-Z][\w\']*z
[a-z_][\w\']*)zescape-sequencern rS r] rb )0r r r r r
r r r r r r r r r r rö r r. r r! r r r r r" r÷ r rø r r rù r r$ r& rú r( r/ r1 r) r r r r* r+ r r r- r, )+rû r5 r rü rý rþ rÿ r r< r¢ r r r r r r3 r r r r= r r« r
r4 r r r r
r r r r r r9 r> r¶ r r r r r r r¼ ) r r½ r¾ r¿ rÀ r rÁ r rà )rÄ rÅ rÆ rÇ r] r\ rÈ rÉ rË )-ro rp rq rr rs rÌ rt ru rv rÍ rÎ rÏ rÐ rÑ rÒ rÓ r r@ r r rÔ rÕ rH r r rô rw rx r
r rÖ r r
r} r{ r× rØ r| ry rz r~ r r r r rA rA rA rB r sz
c 5 @ sà e Zd ZdZdZdZdgZddgZdgZd¨Z d©Z
dªZ d«Z drZ
dsZdtZd¬Zd}ejfd~ejfdejfgdefdejjfdejdfdejfd
edfdefddje efddje ej fddje
ej fddje ddd
e fdeee
f e fddje ej fdefde j!fde j"fde j#fde j$fde j%fdej&fdej&fdefde j'fdefdej(dyfdej)fgdefdedfdedfd efgd¡ej(fe*d¢d£ej(fdej(dfgdefdXe+fd¤ejfd¥ejdfd¦edfe,dgd§Z-dS )®r z8
For the F* language.
.. versionadded:: 2.7
ZFStarzhttps://www.fstar-lang.org/Zfstarz*.fstz*.fstiz text/x-fstarÚabstractÚ
attributesÚnoeqÚunopteqÚandbeginÚbyr Úeffectr r Úensuresr Úexistsr rÝ r r r r! r ÚinlineÚinline_for_extractionÚ irreducibleÚlogicrK r r r Ú
new_effectÚ noextractr$ r& Úopaquer Úrange_ofÚ reifiableÚreifyÚ reflectableÚrequiresÚ set_range_ofÚ
sub_effectÚsynthr) Útotalr r r* ÚunfoldÚ
unfoldabler+ r r, Únotr" r( ÚassumeÚadmitr Úcalcr¼ r¢ ú/\\ú\\/ú<:ú<@ú\(\|ú\|\)r5 úu#r ú\(ú\)ú\(\)r< ú~>ú->ú<-ú<--ú<==>ú==>ú\.ú\?ú\?\.ú\.\[ú\.\(ú\.\(\|ú\.\[\|ú
\{:patternr3 ú::ú:=r= ú;;r4 ú%\[ú!\{ú\[ú\[@ú\[\|ú\|>ú\]ú\|\]ú\{ú\|ú\}ú\$z[!$%&*+\./:<=>?@^|~-]z[!?~]z[=<>@^|&+\*/$%-]rÄ rÅ rÆ rÇ r] r\ rÈ rÉ z
\\[\\"\'ntbr]z
\\[0-9]{3}z\\x[0-9a-fA-F]{2}z\s+z false|true|False|True|\(\)|\[\]z\b([A-Z][\w\']*)(?=\s*\.)rb z\b([A-Z][\w\']*)z \(\*(?![)])rS z\/\/.+$z\b(%s)\brV z(%s)NrD z
(%s|%s)?%sz
[^\W\d][\w']*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z0[xX][\da-fA-F][\da-fA-F_]*z0[oO][0-7][0-7_]*z0[bB][01][01_]*z\d[\d_]*z7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))'z'.'rÊ z\`([\w\'.]+)\`z\`r? z[~?][a-z][\w\']*:z[^(*)]+z\(\*z#pushz\*\)z#popz[(*)]z[^\\"]+zescape-sequencez\\\nz[A-Z][\w\']*(?=\s*\.)z [A-Z][\w\']*z
[a-z_][\w\']*)zescape-sequencern rS r] rb )5r r r r r r r r r r r! r r" r rÝ r r r r! r r# r$ r% r& rK r r r r' r( r$ r& r) r r* r+ r, r- r. r/ r0 r1 r) r2 r r r* r3 r4 r+ r r, r5 )r" r( )r6 r7 r r8 )/r¼ r¢ r9 r: r; r< r= r> r5 r? r r@ rA rB r< rC rD rE rF rG rH rI rJ rK rL rM rN rO rP r3 rQ rR r= rS r4 rT rU rV rW rX rY rZ r[ r\ r] r^ r_ )rÄ rÅ rÆ rÇ r] r\ rÈ rÉ rË ).ro rp rq rr rs rÌ rt ru rv rÍ Z
decl_keywordsZassume_keywordsrÎ rÏ rÑ rÒ rÓ r r@ r r rÔ rÕ rH r r rx r
Ú ExceptionZ Declarationr r r
r} r{ r× rØ r| ry rÖ rz r~ r r r r rA rA rA rB r ` s
)rr rW Zpygments.lexerr r r r r Zpygments.tokenr r r r
r r r
r r Ú__all__r r r r r rA rA rA rB Ú<module> s , Q] E]