U lu f6ã@sZdZddlmZmZmZddlmZmZmZm Z m Z m Z m Z m Z dgZGdd„deƒZdS)z÷ pygments.lexers.elpi ~~~~~~~~~~~~~~~~~~~~ Lexer for the `Elpi `_ programming language. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. é)Ú RegexLexerÚbygroupsÚinclude)ÚTextÚCommentÚOperatorÚKeywordÚNameÚStringÚNumberÚ PunctuationÚ ElpiLexerc@søeZdZdZdZdZdgZdgZdgZdZ dZ d Z d Z d   e ¡Zd   e e e e¡Zd   ee e e¡Zd  e e e e¡Zd  e ee ee ee¡ZdZd  ee¡Zd  eee¡Zedƒgedƒdeejejejƒdfdeejejƒdfd  e¡eejejej ƒdfd  e¡eejejej ƒdfd  e¡eejejej ƒdfd  e¡eejejej ƒdfdeejejejƒdfd  e¡eejejeƒfd   e¡eejejeƒfd!eejejej!eƒfd"  e¡eejejej ƒd#fd$  e¡ej!fd%  e¡ej!fd&ej!fd'  e¡ejfeefd(ejfd)ejdfd*ejd+fd,ejd-fd.e"d/fd0ed1fd2ed3fd4e#j$fd5e#j%fd6e&fgd7e'fd8e'd9fd:ejfgd;e'de#j$fd?ed`'@#~=&!])z ({}|-|\$|_)z ({}|{}|{}|{})z({}*(\.({}|{}){}*)*)z({}|{}|{}|{}|:)z({}{}*|{}{}|{}{}*|_{}+)zß(,|<=>|->|:-|;|\?-|->|&|=>|\bas\b|\buvar\b|<|=<|=|==|>=|>|\bi<|\bi=<|\bi>=|\bi>|\bis\b|\br<|\br=<|\br>=|\br>|\bs<|\bs=<|\bs>=|\bs>|@|::|\[\]|`->|`:|`:=|\^|-|\+|\bi-|\bi\+|r-|r\+|/|\*|\bdiv\b|\bi\*|\bmod\b|\br\*|~|\bi~|\br~)z \(({}|{})\)z ({}|{}|{})ú _elpi-commentz#(:before|:after|:if|:name)(\s*)(\")ú elpi-stringz(:index)(\s*\()úelpi-indexing-exprz\b(external pred|pred)(\s+)({})úelpi-pred-itemz)\b(external type|type)(\s+)(({}(,\s*)?)+)ú elpi-typez\b(kind)(\s+)(({}|,)+)z\b(typeabbrev)(\s+)({})z\b(accumulate)(\s+)(\")z'\b(accumulate|namespace|local)(\s+)({})z\b(shorten)(\s+)({}\.)z-\b(pi|sigma)(\s+)([a-zA-Z][A-Za-z0-9_ ]*)(\\)z \b(constraint)(\s+)(({}(\s+)?)+)úelpi-chr-rule-startz (?=[A-Z_]){}z(?=[a-z_]){}\\Ú_z ({}|!|=>|;)z \[|\]|\||=>ú"ú`ú elpi-btickz\'ú elpi-tickz\{\{ú elpi-quotez\{[^\{]ú elpi-spillz\(úelpi-in-parensz\d[\d_]*z(-?\d[\d_]*(.[\d_]*)?([eE][+\-]?\d[\d_]*)z [\+\*\-/\^\.]z %[^\n]*\nz/\*úelpi-multiline-commentz\s+z\*/z#popÚ.z[0-9 _]+z\)z(ctype\s+)(\")z->z\(|\)z\.z\{ú elpi-chr-rulez\brule\bz\\z\}z#pop:2z[io]:ú elpi-ctypeú,z[^` ]+z[^\' ]+z[^\"]+z#pushz\}\}z(lp:)((?=[A-Z_]){})z[^l\}]+zl|\}z\}[^\}])Úrootrrrrrrrrr rrrrrrN)*Ú__name__Ú __module__Ú __qualname__Ú__doc__ÚnameÚurlÚaliasesÚ filenamesÚ mimetypesZlcase_reZucase_reZdigit_reZ schar2_reÚformatZschar_reZ idchar_reZidcharstarns_reZ symbchar_reZ constant_reZ symbol_reZ escape_reZ const_sym_rerrrZModerÚ Whitespacer ÚDoubleZ Declarationr ZFunctionÚVariabler r ZIntegerZFloatrrÚTypeÚtokens©r2r2ú8/tmp/pip-unpacked-wheel-7eq1ciah/pygments/lexers/elpi.pyr s  ÿþÿþþþþþÿÿÿþ   Ñ2ýþþú þü ýù  þ þ þûýý…N)r&Zpygments.lexerrrrZpygments.tokenrrrrr r r r Ú__all__r r2r2r2r3Ús (