forgejo-federation/vendor/github.com/alecthomas/chroma/lexers/i/idris.go
mrsdizzie af7ffaa279
Server-side syntax highlighting for all code (#12047)
* Server-side syntax hilighting for all code

This PR does a few things:

* Remove all traces of highlight.js
* Use chroma library to provide fast syntax hilighting directly on the server
* Provide syntax hilighting for diffs
* Re-style both unified and split diffs views
* Add custom syntax hilighting styling for both regular and arc-green

Fixes #7729
Fixes #10157
Fixes #11825
Fixes #7728
Fixes #3872
Fixes #3682

And perhaps gets closer to #9553

* fix line marker

* fix repo search

* Fix single line select

* properly load settings

* npm uninstall highlight.js

* review suggestion

* code review

* forgot to call function

* fix test

* Apply suggestions from code review

suggestions from @silverwind thanks

Co-authored-by: silverwind <me@silverwind.io>

* code review

* copy/paste error

* Use const for highlight size limit

* Update web_src/less/_repository.less

Co-authored-by: Lauris BH <lauris@nix.lv>

* update size limit to 1MB and other styling tweaks

* fix highlighting for certain diff sections

* fix test

* add worker back as suggested

Co-authored-by: silverwind <me@silverwind.io>
Co-authored-by: Lauris BH <lauris@nix.lv>
2020-07-01 00:34:03 +03:00

80 lines
3.1 KiB
Go
Vendored

package i
import (
. "github.com/alecthomas/chroma" // nolint
"github.com/alecthomas/chroma/lexers/internal"
)
// Idris lexer.
var Idris = internal.Register(MustNewLexer(
&Config{
Name: "Idris",
Aliases: []string{"idris", "idr"},
Filenames: []string{"*.idr"},
MimeTypes: []string{"text/x-idris"},
},
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)},
},
},
))