mirror of
https://codeberg.org/forgejo/forgejo
synced 2024-08-22 07:31:52 +02:00
* update github.com/PuerkitoBio/goquery * update github.com/alecthomas/chroma * update github.com/blevesearch/bleve/v2 * update github.com/caddyserver/certmagic * update github.com/go-enry/go-enry/v2 * update github.com/go-git/go-billy/v5 * update github.com/go-git/go-git/v5 * update github.com/go-redis/redis/v8 * update github.com/go-testfixtures/testfixtures/v3 * update github.com/jaytaylor/html2text * update github.com/json-iterator/go * update github.com/klauspost/compress * update github.com/markbates/goth * update github.com/mattn/go-isatty * update github.com/mholt/archiver/v3 * update github.com/microcosm-cc/bluemonday * update github.com/minio/minio-go/v7 * update github.com/prometheus/client_golang * update github.com/unrolled/render * update github.com/xanzy/go-gitlab * update github.com/yuin/goldmark * update github.com/yuin/goldmark-highlighting Co-authored-by: techknowlogick <techknowlogick@gitea.io>
85 lines
3.2 KiB
Go
Vendored
85 lines
3.2 KiB
Go
Vendored
package i
|
|
|
|
import (
|
|
. "github.com/alecthomas/chroma" // nolint
|
|
"github.com/alecthomas/chroma/lexers/internal"
|
|
)
|
|
|
|
// Idris lexer.
|
|
var Idris = internal.Register(MustNewLazyLexer(
|
|
&Config{
|
|
Name: "Idris",
|
|
Aliases: []string{"idris", "idr"},
|
|
Filenames: []string{"*.idr"},
|
|
MimeTypes: []string{"text/x-idris"},
|
|
},
|
|
idrisRules,
|
|
))
|
|
|
|
func idrisRules() Rules {
|
|
return Rules{
|
|
"root": {
|
|
{`^(\s*)(%lib|link|flag|include|hide|freeze|access|default|logging|dynamic|name|error_handlers|language)`, ByGroups(Text, KeywordReserved), nil},
|
|
{`(\s*)(--(?![!#$%&*+./<=>?@^|_~:\\]).*?)$`, ByGroups(Text, CommentSingle), nil},
|
|
{`(\s*)(\|{3}.*?)$`, ByGroups(Text, CommentSingle), nil},
|
|
{`(\s*)(\{-)`, ByGroups(Text, CommentMultiline), Push("comment")},
|
|
{`^(\s*)([^\s(){}]+)(\s*)(:)(\s*)`, ByGroups(Text, NameFunction, Text, OperatorWord, Text), nil},
|
|
{`\b(case|class|data|default|using|do|else|if|in|infix[lr]?|instance|rewrite|auto|namespace|codata|mutual|private|public|abstract|total|partial|let|proof|of|then|static|where|_|with|pattern|term|syntax|prefix|postulate|parameters|record|dsl|impossible|implicit|tactics|intros|intro|compute|refine|exact|trivial)(?!\')\b`, KeywordReserved, nil},
|
|
{`(import|module)(\s+)`, ByGroups(KeywordReserved, Text), Push("module")},
|
|
{`('')?[A-Z][\w\']*`, KeywordType, nil},
|
|
{`[a-z][\w\']*`, Text, nil},
|
|
{`(<-|::|->|=>|=)`, OperatorWord, nil},
|
|
{`([(){}\[\]:!#$%&*+.\\/<=>?@^|~-]+)`, OperatorWord, nil},
|
|
{`\d+[eE][+-]?\d+`, LiteralNumberFloat, nil},
|
|
{`\d+\.\d+([eE][+-]?\d+)?`, LiteralNumberFloat, nil},
|
|
{`0[xX][\da-fA-F]+`, LiteralNumberHex, nil},
|
|
{`\d+`, LiteralNumberInteger, nil},
|
|
{`'`, LiteralStringChar, Push("character")},
|
|
{`"`, LiteralString, Push("string")},
|
|
{`[^\s(){}]+`, Text, nil},
|
|
{`\s+?`, Text, nil},
|
|
},
|
|
"module": {
|
|
{`\s+`, Text, nil},
|
|
{`([A-Z][\w.]*)(\s+)(\()`, ByGroups(NameNamespace, Text, Punctuation), Push("funclist")},
|
|
{`[A-Z][\w.]*`, NameNamespace, Pop(1)},
|
|
},
|
|
"funclist": {
|
|
{`\s+`, Text, nil},
|
|
{`[A-Z]\w*`, KeywordType, nil},
|
|
{`(_[\w\']+|[a-z][\w\']*)`, NameFunction, nil},
|
|
{`--.*$`, CommentSingle, nil},
|
|
{`\{-`, CommentMultiline, Push("comment")},
|
|
{`,`, Punctuation, nil},
|
|
{`[:!#$%&*+.\\/<=>?@^|~-]+`, Operator, nil},
|
|
{`\(`, Punctuation, Push("funclist", "funclist")},
|
|
{`\)`, Punctuation, Pop(2)},
|
|
},
|
|
"comment": {
|
|
{`[^-{}]+`, CommentMultiline, nil},
|
|
{`\{-`, CommentMultiline, Push()},
|
|
{`-\}`, CommentMultiline, Pop(1)},
|
|
{`[-{}]`, CommentMultiline, nil},
|
|
},
|
|
"character": {
|
|
{`[^\\']`, LiteralStringChar, nil},
|
|
{`\\`, LiteralStringEscape, Push("escape")},
|
|
{`'`, LiteralStringChar, Pop(1)},
|
|
},
|
|
"string": {
|
|
{`[^\\"]+`, LiteralString, nil},
|
|
{`\\`, LiteralStringEscape, Push("escape")},
|
|
{`"`, LiteralString, Pop(1)},
|
|
},
|
|
"escape": {
|
|
{`[abfnrtv"\'&\\]`, LiteralStringEscape, Pop(1)},
|
|
{`\^[][A-Z@^_]`, LiteralStringEscape, Pop(1)},
|
|
{`NUL|SOH|[SE]TX|EOT|ENQ|ACK|BEL|BS|HT|LF|VT|FF|CR|S[OI]|DLE|DC[1-4]|NAK|SYN|ETB|CAN|EM|SUB|ESC|[FGRU]S|SP|DEL`, LiteralStringEscape, Pop(1)},
|
|
{`o[0-7]+`, LiteralStringEscape, Pop(1)},
|
|
{`x[\da-fA-F]+`, LiteralStringEscape, Pop(1)},
|
|
{`\d+`, LiteralStringEscape, Pop(1)},
|
|
{`\s+\\`, LiteralStringEscape, Pop(1)},
|
|
},
|
|
}
|
|
}
|