|
Server : Apache System : Linux iad1-shared-b8-43 6.6.49-grsec-jammy+ #10 SMP Thu Sep 12 23:23:08 UTC 2024 x86_64 User : dh_edsupp ( 6597262) PHP Version : 8.2.26 Disable Function : NONE Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Upload File : |
o
���aމ � @ s� d Z ddlZddlmZmZmZmZmZ ddlm Z m
Z
m Z m Z m
Z
mZmZmZmZ g d�ZG dd� de�ZG dd � d e�ZG d
d � d e�ZG d d
� d
e�ZG dd� de�ZdS )z�
pygments.lexers.ml
~~~~~~~~~~~~~~~~~~
Lexers for ML family languages.
:copyright: Copyright 2006-2021 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 @ sv e Zd ZdZdZdgZg d�ZddgZh d�Zh d�Z h d �Z
d
Z d Z d d
� Z
dd� Zdd� Zdd� Zi ddefdejdfg�ddedfded fd ejd fd ejdfd ejd fg�d!d"d#�d$d%� e
D �� efd&ejd'fd(ejd)fd*ej fd+ej fd,ej fd-ej fd.ej fd/ej fd0ej fd1e j fd2e e j fd3e e j fd4ejd5fd6ejd7fd8ejd9fd:ejd;fd<e j!fd=e ed>fd"e efd"e efg�d>d=e efd"e ed fd"e ed fde"fd?e"fg�d@e#d�g�de$d�dAejdBfdCejdDfe$d�e$d!�d?e"fg�dEe$d�dFefdejdfdGejdHfdIejdJfdKedHfdLejdMfe$d�e$d!�d?e"fg
�d'e
ej��d)e
ej��dNdOd#�e� ed fg�d9e$d�e$dN�d"e e j%fe#d �g�dHe$d�d<e j!fdPedQfd"e e j&d fd"e e j&d fe#d �g�dBe$d�d<e j!fdPedQfdRe e f e'e j(ee�d fdRe e f e'e j(ee�d fd"e e j(d fd"e e j(d fe#d �g�d;e$d�e$dN�d<e j!fdPedQfdSe edTfd"e ej)fd"e ej)fd?e"d fg�dUe$d�dVejdWfe$dN�e$d!�d?e"d fg�d5e$d�e$dN�d<e j!fdPedQfdXe'eeej�d fdSe edYfd"e ej)fd"e ej)fd?e"d fg �dZe$d�dVejd[fd\ejdWfd]ejfd^e e'eee j*�fd_e e'eee j*�fe$dN�e$d!�d?e"fg �e$d�d`e e'ejee j*�fdae e'ejee j*�fd]ejfdbe e f e j*fe#d �ge$d�d"e e j*d fd"e e j*d fd?e"d fgdFefdejdfd<e j!fe e fdcefdded fe e fgdeejfdejdffdgejd fdhejfgdi��Z+djS )kr zB
For the Standard ML language.
.. versionadded:: 1.5
z Standard ML�sml)z*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml>) �as�do�fn�if�in�of�op�and�end�fun�let�rec�sig�val�case�else�open�then�type�with�infix�local�raise�where�while�eqtype�handle�infixr�nonfix�orelse�struct�abstype�andalso�functorr �sharing�datatype�withtype� exception� signature� structure> �#�:�=�->�:>�=>�\|>
�...�_�(�)�,�;�[�]�{�}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 �Escape�Interpol)�whatkind� rU �4/usr/lib/python3/dist-packages/pygments/lexers/ml.py�stringy< s �zSMLLexer.stringyc c sR � |� d�| jv r t}ntj}|�d�||� d�fV |�d�t|� d�fV d S )N� � )�group�alphanumid_reservedr r � Namespace�startr ��self�match�tokenrU rU rV �long_id_callbackK s � zSMLLexer.long_id_callbackc c sN � |� d�| jv r t}n
|� d�| jv rt}nt}|�d�||� d�fV d S �NrX )rZ r[ r �symbolicid_reservedr r] r^ rU rU rV �end_id_callbackS s � zSMLLexer.end_id_callbackc c sH � |� d�}|| jv rtj}n
|| jv rt}nt}|�d�||fV d S rc )rZ r[ r
�Reservedrd r r r] )r_ r` �strra rU rU rV � id_callback\ s �
zSMLLexer.id_callback�
whitespace�\s+�\(\*�comment�
delimitersz\(|\[|\{�mainz\)|\]|\}rQ z\b(let|if|local)\b(?!\'))rn rn z \b(struct|sig|while)\b(?!\')z \b(do|else|end|in|then)\b(?!\')�core�(%s)�|c c s � | ]}t �|�V qd S )N)�re�escape)�.0�zrU rU rV � <genexpr>| s � zSMLLexer.<genexpr>z#"�charrP �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+�rootz\b(val|and)\b(?!\')�vnamez\b(fun)\b(?!\'))rQ �main-fun�fnamer� z\sz\b(fun|and)\b(?!\')r� z\b(val)\b(?!\'))rQ rn r rD z\b(case|handle)\b(?!\'))rQ rn �breakoutz(?=\b(%s)\b(?!\'))�\(�tyvarseqz(%s)(\s*)(=(?!%s))z=(?!%s))rQ �typbindr� z\b(and)\b(?!\'))rQ r| z(=)(\s*)(datatype))rQ �datbind�datconr� )rQ ry 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)rI �\)z[^(*)]�#push�\*\)�[(*)])rz r� r� rl N),�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypesr[ rd �nonid_reserved�
alphanumid_re�
symbolicid_rerW rb re rh r r � Multiliner r
rf �joinr �Char�Doubler
�Hex�Integer�Floatr �Label� Decoratorr r r r\ �Functionr �Variable�Type�Class�tokensrU rU rU rV r s�
��
���
�
��5
��?��E
���S
����
i�
j�l��q ��z��
�
�� �� � �� '
� �� 2�� � �� C
� �� �� V����
�
� � �r c @ s� e Zd ZdZdZdgZg d�ZdgZdZdZ dZ
d Z d
Z d Z
d Zd
ejfdejfdejfgdefdejjfdejdfdejfdedfdd�e� efdd�e ddd� � efd e
e e
f efdd�e � ejfdd�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)efd*ed+fd,ed-fd.efgd/ej$fe&d0�d1ej$fd&ej$d-fgdefd2e'fd3ejfd4ejd-fd5ed-fe(d-�gd6�Z)dS )7r z<
For the OCaml language.
.. versionadded:: 0.7
�OCaml�ocaml)z*.mlz*.mliz*.mllz*.mlyz text/x-ocaml)0r �assert�begin�class�
constraintr �done�downtor% r r; �external�false�forr �functionr7 r r r �inherit� initializer�lazyr r` �method�module�mutable�new�objectr r& �privater, r! r" r4 r' �to�true�tryr( �valuer# �virtual�whenr. r) ))�!=r> �&�&&r� r� �\*�\+rI �-�-\.rA �\.�\.\.r? �::�:=rB rJ �;;�<�<-r@ �>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|rL rF �`�\{�\{<rD �\|]�\}�~�[!$%&*+\./:<=>?@^|~-])r �asr�land�lor�lsl�lxor�mod�or�[!?~]�[=<>@^|&+\*/$%-]��unit�int�float�boolrx rw �list�array�
\\[\\"\'ntbr]rO �\\x[0-9a-fA-F]{2}rj �false|true|\(\)|\[\]�\b([A-Z][\w\']*)(?=\s*\.)r} �\b([A-Z][\w\']*)� \(\*(?![)])rl �\b(%s)\brq rp 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}))'�'.'�'rP rx �[~?][a-z][\w\']*:�[^(*)]+rk r� r� rQ r� �[^\\"]+�escape-sequence�\\\nr� �[A-Z][\w\']*(?=\s*\.)� [A-Z][\w\']*�
[a-z_][\w\']*�r r~ rl rx r} )*r� r� r� r� r� r� r� r� �keywords�keyopts� operators�word_operators� prefix_syms�
infix_syms�
primitivesr rR r r �Builtin�Pseudor\ r� r r� r
r �Wordr� r
r� r� �Oct�Binr� r� r� r� r r r r� rU rU rU rV r c sv �
�
� �
�
�
�r c @ s e Zd ZdZdZdgZdgZdgZdZdZ dZ
d Z i d
d e j
fd e j
fd
e j
fg�ddedfdefg�ded�defg�ded�eeddd�efde d ejjfdejfdejfdejfdejfd ejfd ejfd ejfd ejfd e j d!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 d0fd1e ej"fd2e e j fd3e j fe efg�d0ed�d4ej"fe#d5�g�d6ed�d7ej"d8fd9ej"d:fe d7 ej"d8fe ej"d&fd1e ej"fe#d&�g�d;ed�e#d<�g�d=ed�d>ej"d?fe#d&�g�d@ed�d4ej"dAfdBej"dCfe#d&�g�dDed�dEej"d;fd4ej"dAfe#d&�g�dFed�dGej"fdHej"fd7ej"d$fdIej"d&fg�dJed�dKej"fdHej"fd#ej"d$fd%ej"d&fg�ddLefded$fdMed&fdHefg�d!dNe j fd e j d&fd#e dfed
�g�dOdPe j fdQe j d&fd#e dfed
�g�d(dRe j dSfdTe j dUfg�dVdWe j d&fg�defdXe j dYfdZe j d&fdTe j dUfgd1e j d[fd e j d\fd2e e j d&fd3e j d]fd^e j d&fd#e d]fgd_ed`fdae j dbfdce j d(fd#e dfdde j fgdeed&fdfefgdg��Z$dhS )ir zU
Lexer for the Opa language (http://opalang.org).
.. versionadded:: 1.5
�Opa�opaz*.opaz
text/x-opa) r r r� r$ �client�css�database�dbr r% r r� �forallr� r �importr` r� r� �package�parserr! �serverr' r( r# r) �
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]r z
\\[\\"\'ntr}]rO r� �commentsz/\*znested-commentz//.*?$zcomments-and-spacesrj r~ z\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}rP rx z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r� r� r� rQ z<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rH z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r? r( r� r> z#(?=\{)rA )rQ �
type-lhs-1�type-with-slash�type-1r� )rQ �
type-tuplez~?\{)rQ � type-recordr& )rQ � slash-type-1r' r* �/)rQ r' r% )rQ r( z(?=,))rQ �
type-arrowr, z
,(?=[^:]*?->)r( z[^()/*]+z[/*]r� r) z[^{}/*]+�[^/*]+z\*/z[^\\"{]+�
single-stringz [^\\\'{]+z\'z[\w\-:]+)rQ � html-attrr� )rQ � html-content� html-end-tagz [\w\-:]*>z [\w\-:]+=�html-attr-valuez/>)rQ r. )rQ rx )rQ r~ z [^"\'{`=<>]+z<!--� html-commentz</)rQ r1 r� z[^<{]+z-->z[^\-]+|-)r/ r2 r0 r3 N)%r� r� r� r� r� r� r� r� r �ident_re�op_re�punc_rer rR r r r r r
r r r r
r� r� r r r� r� r� r �Singler� r\ r� r r� rU rU rU rV r � s� �� ��
��
�
��z��
� �� � ��
� �� %
� �� +
� �� ;
� �� B
� �� ]� �� f
� �� l
� �� y
� ��
� � ��
�
�
� � � � �r c @ s� e Zd ZdZdZddgZddgZdgZdZd Z d
Z
d Z d Z d
Z
dZdejfdejfdejfgdefdejjfdejdfdejfdejfdejdfdd�e� efd d�e d d d � � e j fd e
e e
f e fdd�e � e j 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/ejd0fd1ejfgd2ej&fe(d3�d4ej&fd)ej&d0fgdefd5e)fd6ejfd7ejd0fd8ed0fe*d0�gd9�Z+d S ):r z]
For the ReasonML language (https://reasonml.github.io/).
.. versionadded:: 2.6
�ReasonML�reasonml�reasonz*.rez*.reiztext/x-reasonml)0r r� r� r� r� r r� r� r% r r; r� r� r� r �esfunr� r7 r r r r� r� r� r �switchr� �pubr� r� �nonrecr� r r& �prir! r" r4 r' r� r� r� r( r# r� r� r. r) )+r� r> r� r� r� r� r� r� rI r� r� rC r� r� z\.\.\.r? r� r� rB rJ r� r� r� r@ r� r� r� r� r� r� r� r� r� rL rF r� r� r� rD z\|\|r� r� r� r� ) r r� r� r� r� �lsrr� r� r� r� r� r� r� rO r� rj r� r� r} r� z//.*?\nz \/\*(?!/)rl r� rq rp Nr� r� r� r� r� r� r� r� r� r� r� rP rx r r- z\/\*r� z\*\/rQ 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 rR r r r r r\ r� r r7 r� r� r
r r r� r
r� r� r r r� r� r� r� r r r r� rU rU rU rV r sx �
�
�
�
�
�
�r c @ s� e Zd ZdZdZdgZddgZdgZdZdZ d Z
d
Z d Z d Z
d
ZdZdejfdejfdejfgdefdejjfdejdfdejfdedfdefdd�e� efdd�e
� ejfdd�e � ej fd d�e d d d � � e fd ee
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/ed0fd1ed2fd3efgd4ej'fe)d5�d6ej'fd+ej'd2fgdefd7e*fd8ejfd9ejd2fd:ed2fe+d2�gd;�Z,d S )<r zV
For the F* language (https://www.fstar-lang.org/).
.. versionadded:: 2.7
�FStar�fstarz*.fstz*.fstiz text/x-fstar)5�abstract�
attributes�noeq�unopteq�andbegin�byr �effectr% r �ensuresr; �existsr� r r r� r r r �inline�inline_for_extraction� irreducible�logicr` 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) �not)r r! )�assume�admitr� �calc)/r� r� z/\\z\\/z<:z<@z\(\|z\|\)r> zu#r� r� r� z\(\)rI z~>rA r� z<--z<==>z==>r� r� z\?\.z\.\[z\.\(z\.\(\|z\.\[\|z
\{:patternr? r� r� rJ r� r@ z%\[z!\{r� z\[@r� z\|>z\]z\|\]r� rD r� z\$r� r� r� r� r� rO r� rj z false|true|False|True|\(\)|\[\]r� r} r� r� rl z^\/\/.+$r� rq rp Nr� r� r� r� r� r� r� r� r� r� r� z\`([\w\'.]+)\`z\`rP rx r r rk r� r� rQ r� r r r r� r r r r )-r� r� r� r� r� r� r� r� r �
decl_keywords�assume_keywordsr
r r
r r r rR r r r r r\ r� r r� r
� Exception� Declarationr r� r
r� r� r r r� r� r r� r� r r r r� rU rU rU rV r ^ s� �
�
�!�
�
�
�r )r� rr �pygments.lexerr r r r r �pygments.tokenr r r r
r r r
r r �__all__r r r r r rU rU rU rV �<module> s
, Q\ E\