| Server IP : 127.0.0.1 / Your IP : 216.73.216.109 Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10 System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64 User : SERVERWEB ( 0) PHP Version : 8.1.10 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/cygwin64/lib/python3.9/site-packages/pygments/lexers/__pycache__/ |
Upload File : |
a
SҼaމ � @ s� d dl Z d dlmZmZmZmZmZ d dlmZm Z m
Z
m Z m Z m
Z
mZmZmZ g d�ZG dd� de�ZG dd� de�ZG d d
� d
e�ZG d d � d e�ZG d
d� de�ZdS )� N)�
RegexLexer�include�bygroups�default�words) �Text�Comment�Operator�Keyword�Name�String�Number� Punctuation�Error)�SMLLexer�
OcamlLexer�OpaLexer� ReasonLexer�
FStarLexerc @ s* e Zd ZdZdgZg d�ZddgZh d�Zh d�Zh d�Z d Z
d
Z d d � Z d
d� Z
dd� Zdd� Zdefdejdfgdedfdedfdejdfd ejdfd ejdfgd d �d d!� e D �� efd"ejd#fd$ejd%fd&ejfd'ejfd(ej fd)ej fd*ej fd+ej fd,ej fd-e j fd.e
e j fd/e e j fd0ejd1fd2ejd3fd4ejd5fd6ejd7fd8e j fd9e
e
d:fd e
efd e efgd9e
e
fd e
edfd e edfde!fd;e!fge"d�ge#d<�d=ejd>fd?ejd@fe#dA�e#dB�d;e!fge#d<�dCefdejdfdDejdEfdFejdGfdHedEfdIejdJfe#dA�e#dB�d;e!fg
e ej�e ej�dKd �e� edfge#d<�e#dL�d e
e j$fe"d�ge#d<�d8e j fdMedNfd e
e j%dfd e e j%dfe"d�ge#d<�d8e j fdMedNfdOe
e f e&e j'ee�dfdOe e f e&e j'ee�dfd e
e j'dfd e e j'dfe"d�ge#d<�e#dL�d8e j fdMedNfdPe edQfd e
ej(fd e ej(fd;e!dfge#d<�dRejdSfe#dL�e#dB�d;e!dfge#d<�e#dL�d8e j fdMedNfdTe&eeej�dfdPe edUfd e
ej(fd e ej(fd;e!dfg e#d<�dRejdVfdWejdSfdXejfdYe
e&eee j)�fdZe e&eee j)�fe#dL�e#dB�d;e!fg e#d<�d[e
e&ejee j)�fd\e e&ejee j)�fdXejfd]e
e f e j)fe"d�ge#d<�d e
e j)dfd e e j)dfd;e!dfgdCefdejdfd8e j fe
e fd^efd_edfe e fgd`ejfdejdafdbejdfdcejfgdd�Z*deS )fr z Standard MLZsml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml>) Zsharing�functor�where�of� exception�if�fun�op�raiseZabstype�orelse�type�thenZeqtypeZ signature�val�let�openZhandle�local�case�sig�as�structr �with�whileZ structure�do�in�fnZinfixrZnonfix�endZinfix�else�and�recZandalsoZdatatypeZwithtype> �->�\|�:�=�:>�#�=>>
�{�(�[�}z...�_�]�,�;�)z[a-zA-Z][\w']*z[!%&$#+\-/:<=>?@\\~`^|*]+c C s: d| fdt jfdt jfdt jfdt jfdt jfd| dfgS ) Nz[^"\\]z\\[\\"abtnvfr]z\\\^[\x40-\x5e]�
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\�"�#pop)r �EscapeZInterpol)Zwhatkind� rE �6/usr/lib/python3.9/site-packages/pygments/lexers/ml.py�stringy< s �zSMLLexer.stringyc c sP |� d�| jv rt}ntj}|�d�||� d�fV |�d�t|� d�fV d S )N� � )�group�alphanumid_reservedr r � Namespace�startr ��self�match�tokenrE rE rF �long_id_callbackK s
zSMLLexer.long_id_callbackc c sL |� d�| jv rt}n|� d�| jv r,t}nt}|�d�||� d�fV d S �NrH )rJ rK r �symbolicid_reservedr rM rN rE rE rF �end_id_callbackS s zSMLLexer.end_id_callbackc c sF |� d�}|| jv r tj}n|| jv r,t}nt}|�d�||fV d S rS )rJ rK r
�ReservedrT r r rM )rO rP �strrQ rE rE rF � id_callback\ s
zSMLLexer.id_callback�\s+�\(\*�commentz\(|\[|\{�mainz\)|\]|\}rC z\b(let|if|local)\b(?!\'))r\ r\ z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')�(%s)�|c c s | ]}t �|�V qd S )N)�re�escape)�.0�zrE rE rF � <genexpr>| � zSMLLexer.<genexpr>z#"�charrB �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(?!\'))rC �main-fun�fname�
delimiters�corez\sz\b(fun|and)\b(?!\')ro z\b(val)\b(?!\'))rC r\ rm r2 z\b(case|handle)\b(?!\'))rC r\ z(?=\b(%s)\b(?!\'))�breakout�\(�tyvarseqz(%s)(\s*)(=(?!%s))z=(?!%s))rC �typbindz\b(and)\b(?!\'))rC rj z(=)(\s*)(datatype))rC �datbind�datcon)rC rg z\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)r> �\)z[^(*)]�#push�\*\)�[(*)])rl rp rq rk �rootr\ rn re rf rr ri ro rm rj ru rg rv rh rw rt r[ N)+�__name__�
__module__� __qualname__�name�aliases� filenames� mimetypesrK rT Znonid_reservedZ
alphanumid_reZ
symbolicid_rerG rR rU rX r r � Multiliner r
rV �joinr �Char�Doubler
�Hex�Integer�Floatr ZLabelZ Decoratorr r r rL ZFunctionr �Variable�Type�Class�tokensrE rE rE rF r sn
�
��
�
�"
� �
��
���� �
�
�
�� �
� �� �
� ������
�
�� �r c @ s� e Zd ZdZdgZg d�ZdgZdZdZdZ dZ
d Z d
Z d Z
d ejfd
ejfdejfgdefdejjfdejdfdejfdedfdd�e� efdd�eddd� � efde e e f efdd�e
� ejfdd�e
� ejfd efd e j fd e j fd e j fd e j fd!e j!fd"ej"fd#ej"fd$efd%ej#d&fd'ej$fgd(efd)ed*fd+ed,fd-efgd.ej#fe%d/�d0ej#fd%ej#d,fgdefd1e&fd2ejfd3ejd,fd4ed,fe'd,�gd5�Z(dS )6r ZOCamlZocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocaml)0r& �assert�begin�class�
constraintr* �done�downtor. r- r �external�false�forr �functionr r r+ r �inherit� initializer�lazyr! rP �method�module�mutable�new�objectr r" �privater r0 r% r' r �to�true�tryr �valuer �virtual�whenr) r( ))�!=r6 �&�&&rs rx �\*�\+r> �-�-\.r1 �\.�\.\.r3 �::�:=r5 r? �;;�<�<-r4 �>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|r= r< �`�\{�\{<r2 �\|]�\}�~�[!$%&*+\./:<=>?@^|~-])r/ �asr�land�lor�lsl�lxor�mod�or�[!?~]�[=<>@^|&+\*/$%-]�Zunit�int�float�boolrf re �listZarray�
\\[\\"\'ntbr]rA �\\x[0-9a-fA-F]{2}rY �false|true|\(\)|\[\]�\b([A-Z][\w\']*)(?=\s*\.)rk �\b([A-Z][\w\']*)� \(\*(?![)])r[ �\b(%s)\br^ r] N����
(%s|%s)?%s�
[^\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}))'�'.'�'rB rf �[~?][a-z][\w\']*:�[^(*)]+rZ ry rz rC r{ �[^\\"]+�escape-sequence�\\\nr� �[A-Z][\w\']*(?=\s*\.)� [A-Z][\w\']*�
[a-z_][\w\']*�r� r| r[ rf rk ))r} r~ r r� r� r� r� �keywords�keyopts� operators�word_operators� prefix_syms�
infix_syms�
primitivesr rD r r �Builtin�PseudorL r� r r� r
r �Wordr� r
r� r� �Oct�Binr� r� r� r� r r r r� rE rE rE rF r c sr �
�
� �
�
��r c @ s� e Zd ZdZdgZdgZdgZdZdZdZ dZ
d e j fd
e j fd e j fgd e
d
fde
fged�defged�eeddd�efde d ejjfdejfdejfdejfdejfdejfdejfdejfd ejfd e jd fd e j fd e d!fd"e d#fd$e j d%fd&ej fd'e d( ej fd)ej fd*e d( efd+e e fd+e
e fd,e d-fd.e ej!fd/e e j fd0e j feefged�d1ej!fe"d2�ged�d3ej!d4fd5ej!d6fed3 ej!d4feej!d#fd.e ej!fe"d#�ged�e"d7�ged�d8ej!d9fe"d#�ged�d1ej!d:fd;ej!d<fe"d#�ged�d=ej!d>fd1ej!d:fe"d#�ged�d?ej!fd@ej!fd3ej!d!fdAej!d#fged�dBej!fd@ej!fd ej!d!fd"ej!d#fgdCe
fd e
d!fdDe
d#fd@e
fgdEe jfd e jd#fd e dFfedG�gdHe jfdIe jd#fd e dFfedG�gdJe j dKfdLe j dMfgdNe j d#fgdefdOe j dPfdQe j d#fdLe j dMfgd.e j dRfd e j dSfd/e e j d#fd0e j dTfdUe j d#fd e dTfgdVe
dWfdXe j dYfdZe j d%fd e dFfd[e j fgd\e
d#fd]e
fgd^�Z#d_S )`r ZOpaZopaz*.opaz
text/x-opa) r/ r& r� r$ ZclientZcssZdatabaseZdbr* r. r- r� �forallr� r �importrP r� r� �package�parserr0 Zserverr r r r( Z
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]z
\\[\\"\'ntr}]rA r� z/\*�nested-commentz//.*?$�commentsrY �comments-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}rB rf z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r� ry r� rC z<(?=[a-zA-Z>])�
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!r@ z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r3 r r� r6 z#(?=\{)r1 )rC �
type-lhs-1�type-with-slashrs )rC �
type-tuplez~?\{)rC � type-record)rC � slash-type-1�type-1�/)rC r )rC r z(?=,))rC �
type-arrowz
,(?=[^:]*?->)r z[^()/*]+z[/*]rx z[^{}/*]+�[^/*]+z\*/z[^\\"{]+r| r� z [^\\\'{]+z\'z[\w\-:]+)rC � html-attrr� )rC � html-contentz [\w\-:]*>z [\w\-:]+=�html-attr-valuez/>)rC �
single-string)rC rf )rC r| z [^"\'{`=<>]+z<!--� html-commentz</)rC � html-end-tagr� z[^<{]+z-->z[^\-]+|-)r� r r r| r r r r
r r
r r r� rf r r r r r r r N)$r} r~ r r� r� r� r� r� Zident_reZop_reZpunc_rer rD r r r r r
r r� r� r
r� r� r� r� r� r� r� r �Singler� rL r� r r� rE rE rE rF r � s
���
�
�i�
��
�
�
�
�
� �
�
�
�
�
�
�
� �� � �r c @ s� e Zd ZdZddgZddgZdgZdZdZd Z d
Z
d Z d Z d
Z
dejfdejfdejfgdefdejjfdejdfdejfdejfdejdfdd�e� efdd�ed d d � � ej fd e e e f efdd�e
� ej fdd�e
� ej fd efd e j fd!e j fd"e j!fd#e j"fd$e j#fd%ej$fd&ej$fd'efd(ej%d)fd*ej&fgd+ejfd,ejd-fd.ejd/fd0ejfgd1ej%fe'd2�d3ej%fd(ej%d/fgdefd4e(fd5ejfd6ejd/fd7ed/fe)d/�gd8�Z*d S )9r ZReasonMLZreasonml�reasonz*.rez*.reiztext/x-reasonml)0r& r� r� r� r� r* r� r� r. r- r r� r� r� r Zesfunr� r r r+ r r� r� r� r! Zswitchr� Zpubr� r� Znonrecr� r r" Zprir0 r% r' r r� r� r� r r r� r� r) r( )+r� r6 r� r� rs rx r� r� r> r� r� r7 r� r� z\.\.\.r3 r� r� r5 r? r� r� r� r4 r� r� r� r� r� r� r� r� r� r= r< r� r� r� r2 z\|\|r� r� r� r� ) r/ r� r� r� r� Zlsrr� r� r� r� r� r� r� rA r� rY r� r� rk r� z//.*?\nz \/\*(?!/)r[ r� r^ r] Nr� r� r� r� r� r� r� r� r� r� r� rB rf r� r z\/\*ry z\*\/rC r� r� r� r� r� r� r� r� r� )+r} r~ r r� r� r� r� r� r� r� r� r� r� r� r rD r r r� r� rL r� r r r� r� r
r r� r� r
r� r� r� r� r� r� r� r� r r r r� rE rE rE rF r st �
�
�
�
�
��r c @ s� e Zd ZdZdgZddgZdgZdZdZdZ d Z
d
Z d Z d Z
d
Zdejfdejfdejfgdefdejjfdejdfdejfdedfdefdd�e� efdd�e � ejfdd�e� ejfdd�e
d d d � � e fd e
e e f e fdd�e� ej fd efd e j fd!e j fd"e j!fd#e j"fd$e j#fd%ej$fd&ej$fd'efd(e j%fd)efd*ej&d+fd,ej'fgd-efd.ed/fd0ed1fd2efgd3ej&fe(d4�d5ej&fd*ej&d1fgdefd6e)fd7ejfd8ejd1fd9ed1fe*d1�gd:�Z+d S );r ZFStarZfstarz*.fstz*.fstiz text/x-fstar)5ZabstractZ
attributesZnoeqZunopteqZandbeginZbyr Zeffectr. r- Zensuresr �existsr� r� r r� r r+ r ZinlineZinline_for_extractionZ irreducibleZlogicrP r� r� r� Z
new_effectZ noextractr r" Zopaquer� Zrange_ofZ reifiableZreifyZ reflectableZrequiresZ set_range_ofZ
sub_effectZsynthr �totalr� r� r ZunfoldZ
unfoldabler r� r( �not)r! r0 )ZassumeZadmitr� Zcalc)/r� r� z/\\z\\/z<:z<@z\(\|z\|\)r6 zu#r� rs rx z\(\)r> z~>r1 r� z<--z<==>z==>r� r� z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternr3 r� r� r? r� r4 z%\[z!\{r� z\[@r� z\|>z\]z\|\]r� r2 r� z\$r� r� r� r� r� rA r� rY z false|true|False|True|\(\)|\[\]r� rk r� r� r[ z^\/\/.+$r� r^ r] Nr� r� r� r� r� r� r� r� r� r� r� z\`([\w\'.]+)\`z\`rB rf r� r� rZ ry rz rC r{ r� r� r� r� r� r� r� r� ),r} r~ r r� r� r� r� r� Z
decl_keywordsZassume_keywordsr� r� r� r� r� r rD r r r� r� rL r� r r� r
� ExceptionZ Declarationr r� r
r� r� r� r� r� r� r� r� r� r r r r� rE rE rE rF r ^ s| �
�
�!�
�
��r )r_ Zpygments.lexerr r r r r Zpygments.tokenr r r r
r r r
r r �__all__r r r r r rE rE rE rF �<module> s , Q\ E\