|edZddlZddlmZmZmZmZmZddlm Z m Z m Z m Z m Z mZmZmZmZgdZGddeZGdd eZGd d eZGd d eZGddeZy)z pygments.lexers.ml ~~~~~~~~~~~~~~~~~~ Lexers for ML family languages. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. N) RegexLexerincludebygroupsdefaultwords) TextCommentOperatorKeywordNameStringNumber PunctuationError)SMLLexer OcamlLexerOpaLexer ReasonLexer FStarLexerc eZdZdZdZdgZgdZddgZhdZhdZ hd Z d Z d Z d Z d ZdZdZiddefdej&dfgddedfdedfdej,dfdej,dfdej,dfgdddj/d e Dzefd!ej2d"fd#ej4d$fd%ej8fd&ej8fd'ej:fd(ej<fd)ej<fd*ej<fd+ej:fd,ej@fd-e zej@fd.e zej@fd/ej,d0fd1ej,d2fd3ej,d4fd5ej,d6fd7ejBfd8e zed9fde zefde zefgd9d8e zefde zedfde zedfde"fd:e"fgd;e#dgde$ddej,d?fe$de$dd:e"fgd@e$ddAefdej&dfdBej,dCfdDej,dEfdFedCfdGej,dHfe$de$dd:e"fg d"e ej2d$e ej4dIdJdj/ezedfgd4e$de$dIde zejJfe#dgdCe$dd7ejBfdKedLfde zejLdfde zejLdfe#dgd=e$dd7ejBfdKedLfdMe dNe dOe'ejPeedfdMe dNe dOe'ejPeedfde zejPdfde zejPdfe#dgd6e$de$dId7ejBfdKedLfdPe zedQfde zejRfde zejRfd:e"dfgdRe$ddSej,dTfe$dIe$dd:e"dfgd0e$de$dId7ejBfdKedLfdUe'eeej,dfdPe zedVfde zejRfde zejRfd:e"dfg dWe$ddSej,dXfdYej,dTfdZej,fd[e ze'eeejTfd\e ze'eeejTfe$dIe$dd:e"fg e$dd]e ze'ej,eejTfd^e ze'ej,eejTfdZej,fdMe d_e d`ejTfe#dge$dde zejTdfde zejTdfd:e"dfgdAefdej&dfd7ejBfe efdaefdbedfe efgdcej&fdej&ddfdeej&dfdfej&fgdgZ+yh)irzB For the Standard ML language. .. versionadded:: 1.5 z Standard MLsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml>)asdofnifinofopandendfunletrecsigvalcaseelseopenthentypewithinfixlocalraisewherewhileeqtypehandleinfixrnonfixorelsestructabstypeandalsofunctorrsharingdatatypewithtype exception signature structure>#:=->:>=>\|> ..._(),;[]{}z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c d|fdtjfdtjfdtjfdtjfdtjfd|dfgS) Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e] \\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\"#pop)r EscapeInterpol)whatkinds 4/usr/lib/python3/dist-packages/pygments/lexers/ml.pystringyzSMLLexer.stringy<s\  !  .  / FMM * !6== 1  ) 8V $  c#K|jd|jvrt}ntj}|j d||jdf|j dt |jdfyw)N)groupalphanumid_reservedrr Namespacestartrselfmatchtokens rXlong_id_callbackzSMLLexer.long_id_callbackKsd ;;q>T55 5ENNEkk!neU[[^33kk!nk5;;q>99sBBc#K|jd|jvrt}n*|jd|jvrt}nt}|j d||jdfywNr\)r^r_rsymbolicid_reservedr rarbs rXend_id_callbackzSMLLexer.end_id_callbackSs^ ;;q>T55 5E [[^t77 7EEkk!neU[[^33sA5A7c#K|jd}||jvrtj}n||jvrt }nt }|jd||fywrh)r^r_r Reservedrirr ra)rcrdstrres rX id_callbackzSMLLexer.id_callback\sYkk!n $** *$$E D,, ,EEkk!neS((sA#A% whitespace\s+\(\*comment delimitersz\(|\[|\{mainz\)|\]|\}rTz\b(let|if|local)\b(?!\'))rtrtz\b(struct|sig|while)\b(?!\')z\b(do|else|end|in|then)\b(?!\')core(%s)|c#FK|]}tj|yw)N)reescape).0zs rX zSMLLexer.|sE ! Es!z#"charrSstringz~?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+rootz\b(val|and)\b(?!\')vnamez\b(fun)\b(?!\'))rTmain-funfnamerz\sz\b(fun|and)\b(?!\')rz\b(val)\b(?!\'))rTrtrrFz\b(case|handle)\b(?!\'))rTrtbreakoutz(?=\b(%s)\b(?!\'))\(tyvarseqrIz )(\s*)(=(?!z))z=(?!%s))rTtypbindrz\b(and)\b(?!\'))rTrz(=)(\s*)(datatype))rTdatbinddatconr)rTrz\b(withtype)\b(?!\')z\b(of)\b(?!\')z (\|)(\s*)(%s)z (\|)(\s+)(%s)z(and\b)(\s+)(%s)z(and\b)(\s*)(%s)z)|(rJrK\)z[^(*)]#push\*\)[(*)])rrrrrN),__name__ __module__ __qualname____doc__namealiases filenames mimetypesr_rinonid_reserved alphanumid_re symbolicid_rerYrfrjrnrr Multilinerr rljoinr CharDoublerHexIntegerFloatr Label Decoratorrrrr`FunctionrVariableTypeClasstokensrZrXrrsA DgG+I$&@AI JN%M0M  :4)z TN g'' 3 z  +v . +v . ('*:*:.> G /1A1A6 J  z(  sxxEnEE E  FKK ( 6==( + &** -  , v~~ & #V\\ 2 FLL )  - v~~ &  , = ($** 5 = ($** 5 ,g.>.> H %w'7'7 A D   w ( ')9)97 C4>> * = (*:H E } $k 2 } $k 2?  )zj  = (*: ; } $ov > } $ov > UO UO  kz~  FO zJ  L !$W%5%5w ? !1!1 * , L ! FO UO  Kzf  L ! DM g'' 3$W%5%5w ? !1!1 & (K ) ')9)9   L ! FO UO% gzR  $SzT '&--(UzX  "SXX.A%B BD& Q Yzb  L ! J  } $dnn 5 FO  czt  L ! 4>> * K , } $dmmV < } $dmmV < FO  uzN  L ! 4>> * K ,&3] C dmmT; 7 A&3] C dmmT; 7 A } $dmmV < } $dmmV < FO Ozp  L ! J  4>> * K , - '6I J } $gll 3 } $gll 3 UF #  qzL  L ! !1!13D E J  FO UF # Mzb  L ! J  4>> * K , " k4)9)9 :F D - ' * ,} $gll 3 } $gll 3 UF # czD  L ! !1!13D E $g&6&68I J  0 0 1  - k4 4 6  - k4 4 6 J  FO UO Ezj L ! = 0 g&&djj 9 ; = 0 g&&djj 9 ;  0 0 1*M :DJJ G FO   L ! } $djj& 9 } $djj& 9 UF #  DM g'' 3 4>> * D ! ;  K ( D !  )) * g'' 1 g'' 0 w(( )  izFrZrceZdZdZdZdZdgZgdZdgZdZ dZ d Z d Z d Z d Zd Zdej"fdej"fdej"fgdefdej(j*fdej,dfdej.fdedfddj3e zefddj3e dddzefdede de efddj3e zej8fddj3ezej:fdefd ej>fd!ej@fd"ejBfd#ejDfd$ejFfd%ejHfd&ejHfd'efd(ejJd)fd*ejLfgd+efd,ed-fd.ed/fd0efgd1ejJfe'd2d3ejJfd(ejJd/fgdefd4e(fd5ej,fd6ej.d/fd7ed/fe)d/gd8Z*y)9rz< For the OCaml language. .. versionadded:: 0.7 OCamlzhttps://ocaml.org/ocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocaml)0rrassertbeginclass constraintrdonedowntor'r r=externalfalseforr!functionr9rrrinherit initializerlazyr"rdmethodmodulemutablenewobjectrr(privater.r#r$r6r)totruetryr*r%virtualwhenr0r+))!=r@&&&rr\*\+rK--\.rC\.\.\.rA:::=rDrL;;<<-rB>>]>\}\?\?\?\[\[<\[>\[\|rNrH`\{\{?@^|~-])asrlandlorlsllxormodor[!?~][=<>@^|&+\*/$%-]unitintfloatboolrr~listarray \\[\\"\'ntbr]rR\\x[0-9a-fA-F]{2}rpfalse|true|\(\)|\[\]\b([A-Z][\w\']*)(?=\s*\.)r\b([A-Z][\w\']*) \(\*(?![)])rr\b(%s)\brwrvNrI)? [^\W\d][\w']*(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)0[xX][\da-fA-F][\da-fA-F_]*0[oO][0-7][0-7_]*0[bB][01][01_]*\d[\d_]*7'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2}))''.''rSr[~?][a-z][\w\']*:[^(*)]+rqrrrTr[^\\"]+escape-sequence\\\nr[A-Z][\w\']*(?=\s*\.) [A-Z][\w\']* [a-z_][\w\']*r rrrrr)+rrrrrurlrrrkeywordskeyopts operatorsword_operators prefix_syms infix_syms primitivesr rUrr BuiltinPseudor`rr rr r WordrrrrOctBinrrrrrrrrrrZrXrrcs` D CiG3I IHG)IGNK$JTJv}} - FMM * !6== 1 TN $dll&9&9 : )4>>8 D $** - Wi 0 388H- -w 7 sxx" . . 9(+y A8 L 388N3 3X]] C 388J/ / > t $ 8&,, G +VZZ 8 !6:: .  , &.. ) G [[  V[[ ! 7O 6==( + !4== 17 < ! gw ' gv & w    ' % & fmm $ 6==& )  TN K %t~~ 6 djj& 1 tV , FO  _7FrZrceZdZdZdZdgZdgZdgZdZdZ dZ d Z id d e jfd e jfd e jfgddedfdefgdeddefgdedeeddefde zdzej(j*fdej.fdej.fdej.fdej0fdej2fdej4fdej6fdej6fd e j8d!fd"e j:fd#ed$fd%ed&fd'e j>d(fd)ej@fd*e zd+zej@fd,ejBfd-e zd+zefd.e zefd.e zefd/ed0fd1e zejDfd2e ze j>fd3e j>fe efgd0edd4ejDfe#d5gd6edd7ejDd8fd9ejDd:fe d7zejDd8fe ejDd&fd1e zejDfe#d&gd;ede#d<gd=edd>ejDd?fe#d&gd@edd4ejDdAfdBejDdCfe#d&gdDeddEejDd;fd4ejDdAfe#d&gdFeddGejDfdHejDfd7ejDd$fdIejDd&fgdJeddKejDfdHejDfd#ejDd$fd%ejDd&fgddLefded$fdMed&fdHefgd!dNe j8fd e j8d&fd#edfed gdOdPe j8fdQe j8d&fd#edfed gd(dRe j>dSfdTe j>dUfgdVdWe j>d&fgdefdXe j>dYfdZe j>d&fdTe j>dUfgd1e j>d[fd e j>d\fd2e ze j>d&fd3e j>d]fd^e j>d&fd#ed]fgd_ed`fdae j>dbfdce j>d(fd#edfdde j>fgdeed&fdfefgdgZ$yh)irz@ Lexer for the Opa language. .. versionadded:: 1.5 Opaopaz*.opaz text/x-opa)rrrr&clientcssdatabasedbrr'r rforallrrimportrdrrpackageparserr#serverr)r*r%r+ xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]r z \\[\\"\'ntr}]rRrcommentsz/\*znested-commentz//.*?$zcomments-and-spacesrprz\b)prefixsuffix@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}rSrz9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'rrrrTz<(?=[a-zA-Z>])z html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rJz\b([A-Z]\w*)(?=\.)z=(?!z(%s)+rAr*rr@z#(?=\{)rC)rT type-lhs-1type-with-slashtype-1r)rT type-tuplez~?\{)rT type-recordr0)rT slash-type-1r1r4/)rTr1r/)rTr*z(?=,))rT type-arrowr6z ,(?=[^:]*?->)r2z[^()/*]+z[/*]rr3z[^{}/*]+[^/*]+z\*/z[^\\"{]+ single-stringz [^\\\'{]+z\'z[\w\-:]+)rT html-attrr)rT html-content html-end-tagz [\w\-:]*>z [\w\-:]+=html-attr-valuez/>)rTr8)rTr)rTrz [^"\'{`=<>]+zz[^\-]+|-)r9r<r:r=N)%rrrrrrrrrident_reop_repunc_rer rUr rrrr r rrrrrrrrrrr Singlerr`rrrrrZrXrrsj DgG II H-H "EGc v}} - FMM * !6== 1 c  W. /   c  J  TN c$  ) * 8E% 8' B H_u $dll&9&9 :( 6 (&,, 7 "FLL 1 &** - VZZ ( FJJ ' V^^ $ &.. 16==( +J [[ Hg & Hf %  ?&t}} 5e^D $-- 0 #DNN 3 U]4  )  x (   *8V $\7<< ((]FMM *  't cU %ct  ) * GLL ! = > ucF  ) * GLL"8 9 gll$; < e^W\\+A B w||V , \7<< ( FO  Gch  ) * 6 7 icp  ) * ',, 2 3 FO  qcH  ) * GLL"2 3 w||%; < FO  IcT  ) *w||-> ? GLL"2 3 FO Uct  ) * ',, ' gll # GLL' * GLL& )  ucB  ) * ',, ' gll # GLL' * GLL& )  Ccx   Wg & Wf % g   ycJ  &-- ( 6==& ) Hf % % &  KcV  6== ) FMM6 * Hf % % &  Wcp  &--)> ? 6==": ; qc~  6==& 1 cNTN 6==*; < FMM6 * 6==": ;  6=="; < 6=="4 5 (]FMM6 2 (8 9 fmmV 4 H. /  g~ . FMM#; < 6==/ 2 Hf %  &  Wf % ' " cFrZrcjeZdZdZdZdZddgZddgZdgZd Z d Z d Z d Z d Z dZdZdej"fdej"fdej"fgdefdej(j*fdej,dfdej.fdej2fdej4dfddj7e zefddj7e dddzej<fd ede d!e efddj7e zej<fddj7ezej>fd"efd#e jBfd$e jDfd%e jFfd&e jHfd'e jJfd(ejLfd)ejLfd*efd+ejNd,fd-ejPfgd.ej4fd/ej4d0fd1ej4d2fd3ej4fgd4ejNfe)d5d6ejNfd+ejNd2fgdefd7e*fd8ej,fd9ej.d2fd:ed2fe+d2gd;Z,y)>8 D $** -  ( 7,,i 8 388H- -w 7 sxx" . . >(+y A8 L 388N3 3X]] C 388J/ / > t $ 8&,, G +VZZ 8 !6:: .  , &.. ) G [[  V[[ ! 7O 6==( + !4== 19 >)) * g'' 1 g'' 0 G%% &   ' % & fmm $ 6==& )  TN K %t~~ 6 djj& 1 tV , FO  a8FrZrc>eZdZdZdZdZdgZddgZdgZdZ d Z d Z d Z d Z d ZdZdZdej$fdej$fdej$fgdefdej*j,fdej.dfdej0fdedfdefddj5e zefddj5e zej8fddj5e zej:fddj5e dddzefd eded!e efddj5ezej>fd"efd#e jBfd$e jDfd%e jFfd&e jHfd'e jJfd(ejLfd)ejLfd*efd+ejNfd,efd-ejPd.fd/ejRfgd0efd1ed2fd3ed4fd5efgd6ejPfe*d7d8ejPfd-ejPd4fgdefd9e+fd:ej.fd;ej0d4fdrz8 For the F* language. .. versionadded:: 2.7 FStarzhttps://www.fstar-lang.org/fstarz*.fstz*.fstiz text/x-fstar)5abstract attributesnoequnopteqandbeginbyreffectr'r ensuresr=existsrr%r!rrrrinlineinline_for_extraction irreduciblelogicrdrrr new_effect noextractrr(opaquerrange_of reifiablereify reflectablerequires set_range_of sub_effectsynthr)totalrrr*unfold unfoldabler%rr+not)r"r#)assumeadmitrcalc)/rrz/\\z\\/z<:z<@z\(\|z\|\)r@zu#rrrz\(\)rKz~>rCrz<--z<==>z==>rrz\?\.z\.\[z\.\(z\.\(\|z\.\[\|z \{:patternrArrrLrrBz%\[z!\{rz\[@rz\|>z\]z\|\]rrFrz\$rrrrrrRrrpzfalse|true|False|True|\(\)|\[\]rrrrrrz\/\/.+$rrwrvNrrIrrrrrrrrrrz\`([\w\'.]+)\`z\`rSrrr rqrrrTrr r r rr rrr).rrrrrrrrrr decl_keywordsassume_keywordsrrrrrr rUrr rrr`rr rr Exception Declarationr rrrrrrrrrrrrrrrrrZrXrr`s D 'CiG(#I I H#M;OG)IK$JTJv}} - FMM * !6== 1 TN /1D1D E )4>>8 D $** - Wi 0  ! 388H- -w 7 388O4 4dnn E 388M2 2G4G4G H sxx" . . 9(+y A8 L 388J/ / > t $ 8&,, G +VZZ 8 !6:: .  , &.. ) G [[  V[[ ! 7O  . G  6==( + !4== 1= B ! gw ' gv & w    ' % & fmm $ 6==& )  TN K %t~~ 6 djj& 1 tV , FO  e:FrZr)rrypygments.lexerrrrrrpygments.tokenrr r r r r rrr__all__rrrrrrrZrXrusv HH NLzL^ ZZz@z@F Z*Zz``rZ