2017-01-17 11:48:48 +03:00
|
|
|
# http://ponylang.org
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
# Detection
|
|
|
|
# ‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
hook global BufCreate .*[.](pony) %{
|
2017-11-03 10:34:41 +03:00
|
|
|
set-option buffer filetype pony
|
2017-01-17 11:48:48 +03:00
|
|
|
}
|
|
|
|
|
2019-03-13 08:24:33 +03:00
|
|
|
hook -once global BufSetOption filetype=pony %{
|
|
|
|
require-module pony
|
|
|
|
}
|
|
|
|
|
|
|
|
provide-module pony %{
|
|
|
|
|
2017-01-17 11:48:48 +03:00
|
|
|
# Highlighters & Completion
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
2018-07-01 12:53:35 +03:00
|
|
|
add-highlighter shared/pony regions
|
|
|
|
add-highlighter shared/pony/code default-region group
|
2018-07-02 13:59:12 +03:00
|
|
|
add-highlighter shared/pony/triple_string region '"""' '"""' fill string
|
|
|
|
add-highlighter shared/pony/double_string region '"' (?<!\\)(\\\\)*" fill string
|
|
|
|
add-highlighter shared/pony/comment region '/\*' '\*/' fill comment
|
|
|
|
add-highlighter shared/pony/line_comment region '//' '$' fill comment
|
2017-01-17 11:48:48 +03:00
|
|
|
|
2018-05-07 00:29:52 +03:00
|
|
|
evaluate-commands %sh{
|
2017-01-17 11:48:48 +03:00
|
|
|
# Grammar
|
|
|
|
values="true|false|None|this"
|
|
|
|
meta='use'
|
|
|
|
# Keyword list is collected using `keyword.kwlist` from `keyword`
|
|
|
|
keywords="and|as|or|break|match|continue|else|try|in|return|end|for|is"
|
|
|
|
keywords="${keywords}|recover|consume|error|do|then|if|while"
|
|
|
|
func_decl="new|fun|be|lambda"
|
|
|
|
capabilities="iso|ref|box|tag|val|trn"
|
2017-01-20 15:51:25 +03:00
|
|
|
struct="class|actor|interface|trait|primitive|type|var|let|embed"
|
2017-01-17 11:48:48 +03:00
|
|
|
|
|
|
|
|
|
|
|
# Add the language's grammar to the static completion list
|
2018-06-17 06:30:40 +03:00
|
|
|
static_words="${values} ${meta} ${keywords} ${types_decl} ${capabilities}"
|
|
|
|
static_words="${static_words} ${struct}"
|
2017-01-17 11:48:48 +03:00
|
|
|
printf %s\\n "hook global WinSetOption filetype=pony %{
|
2018-06-17 06:30:40 +03:00
|
|
|
set-option window static_words ${static_words}
|
|
|
|
}" | tr '|' ' '
|
2017-01-17 11:48:48 +03:00
|
|
|
|
|
|
|
# Highlight keywords
|
|
|
|
printf %s "
|
2018-07-01 12:53:35 +03:00
|
|
|
add-highlighter shared/pony/code/ regex '\b(${values})\b' 0:value
|
|
|
|
add-highlighter shared/pony/code/ regex '\b(${meta})\b' 0:meta
|
|
|
|
add-highlighter shared/pony/code/ regex '\b(${func_decl})(\s+(${capabilities}))?(\s+\w+)\(' 1:type 3:builtin 4:builtin
|
|
|
|
add-highlighter shared/pony/code/ regex '\b(${func_decl})\b' 0:type
|
|
|
|
add-highlighter shared/pony/code/ regex '=>' 0:type
|
|
|
|
add-highlighter shared/pony/code/ regex '\b(${keywords})\b' 0:keyword
|
|
|
|
add-highlighter shared/pony/code/ regex ';' 0:keyword
|
|
|
|
add-highlighter shared/pony/code/ regex '^\s*|' 0:keyword
|
|
|
|
add-highlighter shared/pony/code/ regex '\b(${struct})\b' 0:variable
|
|
|
|
add-highlighter shared/pony/code/ regex '\b(${capabilities})\b(!|^)?' 1:builtin 2:builtin
|
2017-01-17 11:48:48 +03:00
|
|
|
"
|
|
|
|
|
|
|
|
# Highlight types and attributes
|
|
|
|
printf %s "
|
2018-07-01 12:53:35 +03:00
|
|
|
add-highlighter shared/pony/code/ regex '@[\w_]+\b' 0:attribute
|
2017-01-17 11:48:48 +03:00
|
|
|
"
|
|
|
|
}
|
|
|
|
|
|
|
|
# Commands
|
|
|
|
# ‾‾‾‾‾‾‾‾
|
|
|
|
|
2017-11-03 10:34:41 +03:00
|
|
|
define-command -hidden pony-indent-on-new-line %{
|
2017-11-03 11:09:45 +03:00
|
|
|
evaluate-commands -draft -itersel %{
|
2017-01-17 11:48:48 +03:00
|
|
|
# preserve previous line indent
|
2017-11-03 11:09:45 +03:00
|
|
|
try %{ execute-keys -draft <space> K <a-&> }
|
2017-01-17 11:48:48 +03:00
|
|
|
# cleanup trailing whitespaces from previous line
|
2017-11-03 11:09:45 +03:00
|
|
|
try %{ execute-keys -draft k <a-x> s \h+$ <ret> d }
|
2017-01-17 11:48:48 +03:00
|
|
|
# copy '//' comment prefix and following white spaces
|
2017-11-03 11:09:45 +03:00
|
|
|
# try %{ execute-keys -draft k x s ^\h*//\h* <ret> y jgh P }
|
2017-01-17 11:48:48 +03:00
|
|
|
# indent after line ending with :
|
2017-11-03 11:09:45 +03:00
|
|
|
try %{ execute-keys -draft <space> k x <a-k> (do|try|then|else|:|=>)$ <ret> j <a-gt> }
|
2017-01-17 11:48:48 +03:00
|
|
|
# else, end are always de-indented
|
2017-11-03 11:09:45 +03:00
|
|
|
try %{ execute-keys -draft <space> k x <a-k> (else|end):$ <ret> k x s ^\h* <ret> y j x <a-k> ^<c-r>" <ret> J <a-lt> }
|
2017-01-17 11:48:48 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
# Initialization
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
2018-11-28 12:39:18 +03:00
|
|
|
hook -group pony-highlight global WinSetOption filetype=pony %{
|
|
|
|
add-highlighter window/pony ref pony
|
2018-12-11 02:11:35 +03:00
|
|
|
hook -once -always window WinSetOption filetype=.* %{ remove-highlighter pony }
|
2018-11-28 12:39:18 +03:00
|
|
|
}
|
2017-01-17 11:48:48 +03:00
|
|
|
|
|
|
|
hook global WinSetOption filetype=pony %{
|
|
|
|
hook window InsertChar \n -group pony-indent pony-indent-on-new-line
|
|
|
|
# cleanup trailing whitespaces on current line insert end
|
2018-12-19 12:10:26 +03:00
|
|
|
hook window ModeChange insert:.* -group pony-trim-indent %{ try %{ execute-keys -draft \; <a-x> s ^\h+$ <ret> d } }
|
2017-01-17 11:48:48 +03:00
|
|
|
|
2018-12-11 02:11:35 +03:00
|
|
|
hook -once -always window WinSetOption filetype=.* %{ remove-hooks window pony-.+ }
|
2017-01-17 11:48:48 +03:00
|
|
|
}
|
2019-03-13 08:24:33 +03:00
|
|
|
|
|
|
|
}
|