File: //usr/lib/python3/dist-packages/pygments/lexers/__pycache__/ml.cpython-38.pyc
U
�a`�l � @ s� d Z ddlZddlmZmZmZmZmZ ddlm Z m
Z
m Z m Z m
Z
mZmZmZmZ dddgZG dd� de�ZG d d� de�ZG d
d� de�ZdS ) z�
pygments.lexers.ml
~~~~~~~~~~~~~~~~~~
Lexers for ML family languages.
:copyright: Copyright 2006-2017 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�OpaLexerc @ s0 e Zd ZdZdZdgZdddgZddgZed �Z ed
�Z
ed �Z d Z d
Z
dd� Zdd� Zdd� Zdd� Zdefdejdfgdedfded fd ejd fd ejdfd ejd fgd!d"�d#d$� e D �� efd%ejd&fd'ejd(fd)e j fd*e j fd+e j fd,e j fd-e j fd.e j fd/e j fd0e j!fd1e e j!fd2e
e j!fd3ejd4fd5ejd6fd7ejd8fd9ejd:fd;e j"fd<e ed=fd!e efd!e
efgd<e efd!e ed fd!e
ed fde#fd>e#fge$d�ge%d?�d@ejdAfdBejdCfe%dD�e%dE�d>e#fge%d?�dFefdejdfdGejdHfdIejdJfdKedHfdLejdMfe%dD�e%dE�d>e#fg
eej�eej�dNd"�e � ed fge%d?�e%dO�d!e e j&fe$d �ge%d?�d;e j"fdPedQfd!e e j'd fd!e
e j'd fe$d �ge%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 �ge%d?�e%dO�d;e j"fdPedQfdSe
edTfd!e ej*fd!e
ej*fd>e#d fge%d?�dUejdVfe%dO�e%dE�d>e#d fge%d?�e%dO�d;e j"fdPedQfdWe(eeej�d fdSe
edXfd!e ej*fd!e
ej*fd>e#d fg e%d?�dUejdYfdZejdVfd[ejfd\e e(eee j+�fd]e
e(eee j+�fe%dO�e%dE�d>e#fg e%d?�d^e e(ejee j+�fd_e
e(ejee j+�fd[ejfd`e 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 fdaefdbed fe
e fgdcejfdejddfdeejd fdfejfgdg�Z,dhS )ir zB
For the Standard ML language.
.. versionadded:: 1.5
z Standard MLZsmlz*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml))Zabstype�andZandalso�as�caseZdatatype�do�else�end� exception�fn�funZhandle�if�inZinfixZinfixr�letZlocalZnonfix�of�op�openZorelse�raise�rec�then�type�val�withZwithtype�whileZeqtype�functorr Zsharing�sigZ signature�structZ structure�where)�:�\|�=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]�
\\[0-9]{3}z\\u[0-9a-fA-F]{4}z\\\s+\\�"�#pop)r �EscapeZInterpol)Zwhatkind� r@ �4/usr/lib/python3/dist-packages/pygments/lexers/ml.py�stringy= s �zSMLLexer.stringyc c sP |� d�| jkrt}ntj}|�d�||� d�fV |�d�t|� d�fV d S )N� � )�group�alphanumid_reservedr r � Namespace�startr ��self�match�tokenr@ r@ rA �long_id_callbackL s
zSMLLexer.long_id_callbackc c sL |� d�| jkrt}n|� d�| jkr,t}nt}|�d�||� d�fV d S �NrC )rE rF r �symbolicid_reservedr rH rI r@ r@ rA �end_id_callbackT s zSMLLexer.end_id_callbackc c sF |� d�}|| jkr tj}n|| jkr,t}nt}|�d�||fV d S rN )rE rF r
�ReservedrO r r rH )rJ rK �strrL r@ r@ rA � id_callback] s
zSMLLexer.id_callback�\s+�\(\*�commentz\(|\[|\{�mainz\)|\]|\}r> z\b(let|if|local)\b(?!\'))rW rW 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�zr@ r@ rA � <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(?!\'))r> �main-fun�fname�
delimiters�corez\sz\b(fun|and)\b(?!\')ri z\b(val)\b(?!\'))r> rW rg r. z\b(case|handle)\b(?!\'))r> rW z(?=\b(%s)\b(?!\'))�breakout�\(�tyvarseqz(%s)(\s*)(=(?!%s))z=(?!%s))r> �typbindz\b(and)\b(?!\'))r> rd z(=)(\s*)(datatype))r> �datbind�datcon)r> ra 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)r9 �\)z[^(*)]�#push�\*\)�[(*)])rf rj rk re �rootrW rh r_ r` rl rc ri rg rd ro ra rp rb rq rn rV N)-�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�setrF rO Znonid_reservedZ
alphanumid_reZ
symbolicid_rerB rM rP rS r r Z Multiliner r
rQ �joinr �Char�Doubler
�Hex�Integer�Floatr ZLabelZ Decoratorr r r rG ZFunctionr �Variable�Type�Class�tokensr@ r@ r@ rA r sx
�
��
�
�"
� �
��
���� �
�
�
�� �
� �� �
� ������
�
�� �c @ s� e Zd ZdZdZdgZddddgZdgZd Zd
Z d Z
d Z d
Z dZ
dZdejfdejfdejfgdefdejjfdejdfdejfdedfdd�e� efd d�e d d d � � 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/ed0fd1efgd2ej$fe&d3�d4ej$fd)ej$d0fgdefd5e'fd6ejfd7ejd0fd8ed0fe(d0�gd9�Z)d S ):r z<
For the OCaml language.
.. versionadded:: 0.7
ZOCamlZocamlz*.mlz*.mliz*.mllz*.mlyz text/x-ocaml)0r �assert�begin�classZ
constraintr ZdoneZdowntor r r �externalZfalse�forr �functionr) r r r ZinheritZ initializerZlazyr rK �method�moduleZmutable�new�objectr r! Zprivater" r# r* r+ r$ �to�true�tryr% �valuer& ZvirtualZwhenr( r' ))z!=r1 �&z&&rm rr z\*z\+r9 �-z-\.r0 �\.z\.\.r- z::z:=r2 r: z;;�<z<-r/ �>z>]z>\}z\?z\?\?z\[z\[<z\[>z\[\|r6 r; �`�\{z\{<r. z\|]�\}�~z[!$%&*+\./:<=>?@^|~-])r ZasrZlandZlorZlslZlxor�mod�orz[!?~]z[=<>@^|&+\*/$%-])Zunit�int�float�boolr` r_ �listZarrayz
\\[\\"\'ntbr]r< �\\x[0-9a-fA-F]{2}rT zfalse|true|\(\)|\[\]z\b([A-Z][\w\']*)(?=\s*\.)re z\b([A-Z][\w\']*)z \(\*(?![)])rV z\b(%s)\brY rX N���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[^(*)]+rU rs rt r> ru z[^\\"]+�escape-sequencez\\\nr� z[A-Z][\w\']*(?=\s*\.)z [A-Z][\w\']*z
[a-z_][\w\']*)r� rv rV r` re )*rw rx ry rz r{ r| r} r~ �keywordsZkeyoptsZ operatorsZword_operatorsZ prefix_symsZ
infix_symsZ
primitivesr r? r r �Builtin�PseudorG r� r r� r
r ZWordr� r
r� r� �Oct�Binr� r� r� r� r r r r� r@ r@ r@ rA r d st �
�
� �
�
��c @ s� e Zd ZdZdZdgZdgZdgZdZdZ dZ
d Z d
e j
fd e j
fd e j
fgd
edfdefged�defged�eeddd�efde d ejjfdejfdejfdejfdejfdejfdejfd 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 d.fd/e ej"fd0e e j fd1e j fe efged�d2ej"fe#d3�ged�d4ej"d5fd6ej"d7fe d4 ej"d5fe ej"d$fd/e ej"fe#d$�ged�e#d8�ged�d9ej"d:fe#d$�ged�d2ej"d;fd<ej"d=fe#d$�ged�d>ej"d?fd2ej"d;fe#d$�ged�d@ej"fdAej"fd4ej"d"fdBej"d$fged�dCej"fdAej"fd!ej"d"fd#ej"d$fgdDefd
ed"fdEed$fdAefgdFe j fd e j d$fd!e dGfedH�gdIe j fdJe j d$fd!e dGfedH�gdKe j dLfdMe j dNfgdOe j d$fgdefdPe j dQfdRe j d$fdMe j dNfgd/e j dSfd e j dTfd0e e j d$fd1e j dUfdVe j d$fd!e dUfgdWedXfdYe j dZfd[e j d&fd!e dGfd\e j fgd]ed$fd^efgd_�Z$d`S )ar zU
Lexer for the Opa language (http://opalang.org).
.. versionadded:: 1.5
ZOpaZopaz*.opaz
text/x-opa) r r r� r ZclientZcssZdatabaseZdbr r r r� Zforallr� r �importrK r� r� �package�parserr# Zserverr$ r% r& r' Z
xml_parserz(([a-zA-Z_]\w*)|(`[^`]*`))z[.=\-<>,@~%/+?*&^!]z [()\[\],;|]z
\\[\\"\'ntr}]r< r� z/\*�nested-commentz//.*?$�commentsrT �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}r= r` z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'r� rs r� r> z<(?=[a-zA-Z>])�
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!r4 z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r- r% r� r1 z#(?=\{)r0 )r> �
type-lhs-1�type-with-slashrm )r> �
type-tuplez~?\{)r> � type-record)r> � slash-type-1�type-1�/)r> r� )r> r% z(?=,))r> �
type-arrowz
,(?=[^:]*?->)r� z[^()/*]+z[/*]rr z[^{}/*]+z[^/*]+z\*/z[^\\"{]+rv r� z [^\\\'{]+z\'z[\w\-:]+)r> � html-attrr� )r> � html-contentz [\w\-:]*>z [\w\-:]+=�html-attr-valuez/>)r> �
single-string)r> r` )r> rv z [^"\'{`=<>]+z<!--� html-commentz</)r> � html-end-tagr� z[^<{]+z-->z[^\-]+|-)r� r� r� rv r% r� r� r� r� r� r� r� r� r` r� r� r� r� r� r� r� N)%rw rx ry rz r{ r| r} r~ r� Zident_reZop_reZpunc_rer r? r r r r r
r r� r� r
r� r� r� r� r� r� r� r �Singler� rG r� r r� r@ r@ r@ rA r � s ���
�
�i�
��
�
�
�
�
� �
�
�
�
�
�
�
� �� � �)rz rZ Zpygments.lexerr r r r r Zpygments.tokenr r r r
r r r
r r �__all__r r r r@ r@ r@ rA �<module> s
,
Q\