3
�;�e�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 dCZ dDZ
dEdF� ZdGdH� ZdIdJ� ZdKdL� ZdMefdNejdOfgdPedQfdRedSfdTejd�fdUejdQfdVejdSfgdWdXjdYdZ� e D �� efd[ejd\fd]ejd^fd_e j fd`e j fdae j fdbe j fdce j fdde j fdee j fdfe j!fdge e j!fdhe
e j!fdiejdjfdkejdlfdmejdnfdoejdpfdqe j"fdre edsfdWe efdWe
efgdre efdWe edSfdWe
edSfdMe#fdte#fge$dQ�ge%du�dvejdwfdxejd�fe%d{�e%d|�dte#fge%du�d}efdNejdOfd~ejdzfdejd�fd3edzfd�ejd�fe%d{�e%d|�dte#fg
eej�eej�d�dXje � edSfge%du�e%d��dWe e j&fe$dS�ge%du�dqe j"fd�ed�fdWe e j'dSfdWe
e j'dSfe$dS�ge%du�dqe j"fd�ed�fd�e e
f e(e j)ee�dSfd�e
e
f e(e j)ee�dSfdWe e j)dSfdWe
e j)dSfe$dS�ge%du�e%d��dqe j"fd�ed�fd�e
ed�fdWe ej*fdWe
ej*fdte#dSfge%du�d�ejd�fe%d��e%d|�dte#dSfge%du�e%d��dqe j"fd�ed�fd�e(eeej�dSfd�e
ed�fdWe ej*fdWe
ej*fdte#dSfg e%du�d�ejd�fd�ejd�fd�ejfd�e e(eee j+�fd�e
e(eee j+�fe%d��e%d|�dte#fg e%du�d�e e(ejee j+�fd�e
e(ejee j+�fd�ejfd�e e
f e j+fe$dS�ge%du�dWe e j+dSfdWe
e j+dSfdte#dSfgd}efdNejdOfdqe j"fe e fd?efd�edSfe
e fgd�ejfdNejd�fd�ejdSfd�ejfgd��Z,d�S )�r zB
For the Standard ML language.
.. versionadded:: 1.5
z Standard MLZsmlz*.smlz*.sigz*.funztext/x-standardmlzapplication/x-standardml�abstype�and�andalso�as�case�datatype�do�else�end� exception�fn�fun�handle�if�in�infix�infixr�let�local�nonfix�of�op�open�orelse�raise�rec�then�type�val�with�withtype�while�eqtype�functorr �sharing�sig� signature�struct� structure�where�:�\|�=�=>�->�#�:>�(�)�[�]�{�}�,�;�...�_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� rN �/usr/lib/python3.6/ml.py�stringy= s zSMLLexer.stringyc c sP |j d�| jkrt}ntj}|jd�||j d�fV |jd�t|j d�fV d S )N� � )�group�alphanumid_reservedr r � Namespace�startr )�self�match�tokenrN rN rO �long_id_callbackL s
zSMLLexer.long_id_callbackc c sL |j d�| jkrt}n|j d�| jkr,t}nt}|jd�||j d�fV d S )NrQ )rS rT r �symbolicid_reservedr rV )rW rX rY rN rN rO �end_id_callbackT s zSMLLexer.end_id_callbackc c sF |j d�}|| jkr tj}n|| jkr,t}nt}|jd�||fV d S )NrQ )rS rT r
�Reservedr[ r r rV )rW rX �strrY rN rN rO � 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�zrN rN rO � <genexpr>} s zSMLLexer.<genexpr>z#"�charrL �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[(*)])rp rt ru ro �rootra zmain-funri rj rv rm rs rq rn rx rk ry rl rz rw r` N))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/ r0 r1 r2 r3 r4 r r5 r6 r7 r8 r9 r: )r; r< r= r> r? r@ rA )
rB rC rD rE rF rG rH rI rJ rK )ra ra )rb rr rs )rb ra rq )rb ra )rb rx )rb rn )rb ry rz )rb rk )rb rn )-�__name__�
__module__� __qualname__�__doc__�name�aliases� filenames� mimetypes�setrT r[ Znonid_reservedZ
alphanumid_reZ
symbolicid_rerP rZ r\ r_ r r Z Multiliner r
r] �joinr �Char�Doubler
�Hex�Integer�Floatr ZLabelZ Decoratorr r r rU ZFunctionr �Variable�Type�Class�tokensrN rN rN rO r s<
c 0 @ s� e Zd ZdZdZdgZddddgZdgZd�Zd�Z dbZ
d�Z dkZ dlZ
d�Zduejfdvejfdwejfgdxefdyejjfdzejd{fd|ejfd}ed~fdd�je� efd�d�je d�d�d�� � efd�e
e e
f efdd�je � ejfdd�je� ej fd�efd�e j fd�e j fd�e j fd�e j!fd�e j"fd�ej#fd�ej#fd�efd�ej$dqfd�ej%fgd�efd�ed�fd�ed�fd�efgd�ej$fe&d��d�ej$fd�ej$d�fgdxefdEe'fd�ejfd�ejd�fd�ed�fe(d��gd��Z)d�S )�r z<
For the OCaml language.
.. versionadded:: 0.7
ZOCamlZocamlz*.mlz*.mliz*.mllz*.mlyz text/x-ocamlr �assert�begin�class�
constraintr �done�downtor r r �external�false�forr �functionr4 r r! r �inherit� initializer�lazyr$ rX �method�module�mutable�new�objectr' r) �privater+ r, r6 r8 r- �to�true�tryr. �valuer/ �virtual�whenr2 r0 �!=r@ �&�&&�\(�\)�\*�\+rH �-�-\.�->�\.�\.\.r; �::�:=�:>rI �;;�<�<-r= �>�>]�>\}�\?�\?\?�\[�\[<�\[>�\[\|rE rK �`�\{�\{<�\|�\|]�\}�~z[!$%&*+\./:<=>?@^|~-]r �asr�land�lor�lsl�lxor�mod�orz[!?~]z[=<>@^|&+\*/$%-]�unit�int�float�boolrj ri �list�arrayz
\\[\\"\'ntbr]z
\\[0-9]{3}z\\x[0-9a-fA-F]{2}z\s+zfalse|true|\(\)|\[\]z\b([A-Z][\w\']*)(?=\s*\.)ro z\b([A-Z][\w\']*)z \(\*(?![)])r` z\b(%s)\brc z(%s)NrQ 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'.'�'rL 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-sequencer{ r` rj ro )0r r� r� r� r� r r� r� r r r r� r� r� r r� r4 r r! r r� r� r� r$ rX r� r� r� r� r� r' r) r� r+ r, r6 r8 r- r� r� r� r. r� r/ r� r� r2 r0 ))r� r@ r� r� r� r� r� r� rH r� r� r� r� r� r; r� r� r� rI r� r� r� r= r� r� r� r� r� r� r� r� r� rE rK r� r� r� r� r� r� r� )r r� r� r� r� r� r� r� )r� r� r� r� rj ri r� r� ���)*r| r} r~ r r� r� r� r� �keywordsZkeyoptsZ operatorsZword_operatorsZ prefix_symsZ
infix_symsZ
primitivesr rM r r �Builtin�PseudorU r� r r� r
r ZWordr� r
r� r� �Oct�Binr� r� r� r� r r r r� rN rN rN rO r d sx
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#dy�ged-�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"d�fe#d?�ged-�dXej"dNfdLej"d�fe#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`feda�gdbe j fdce j d?fd<e d`feda�gdde j d�fdfe j d�fgdhe j d?fgd,efdie j djfdke j d?fdfe j d�fgdIe j d�fd9e j d�fdJe e j d?fdKe j d�fdme j d?fd<e d�fgdnedofdpe j d�fdre j dAfd<e d`fdse j fgdted?fduefgdv�Z$dwS )�r zU
Lexer for the Opa language (http://opalang.org).
.. versionadded:: 1.5
ZOpaZopaz*.opaz
text/x-opar r r� r �client�css�database�dbr r r r� �forallr� r �importrX r� r� �package�parserr, �serverr- r. r/ r0 �
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}rL rj z9'(?:(\\[\\\"'ntbr ])|(\\[0-9]{3})|(\\x[0-9a-fA-F]{2})|.)'z\{z#pushz\}�#popz<(?=[a-zA-Z>])z
html-open-tagz[@?!]?(/\w+)+(\[_\])?z<-(?!rC z\b([A-Z]\w*)(?=\.)z=(?!z(%s)+r; r� r@ 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[^\\"{]+r{ 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-spacesr{ r. ztype-1ztype-with-slashz slash-type-1z
type-lhs-1z
type-arrowz
type-tuplez type-recordznested-commentrj 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� rX r� r� r� r� r, r� r- r. r/ r0 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� rj )r� r{ )r� r{ )r� r� )%r| r} r~ r r� r� r� r� r� Zident_reZop_reZpunc_rer rM r r r r r
r r� r� r
r� r� r� r� r� r� r� r �Singler� rU r� r r� rN rN rN rO r � s�
)r rd Zpygments.lexerr r r r r Zpygments.tokenr r r r
r r r
r r �__all__r r r rN rN rN rO �<module>
s ,
Q\