1
1
mirror of https://github.com/mawww/kakoune.git synced 2024-12-28 14:11:35 +03:00
kakoune/rc/base/ocaml.kak

57 lines
1.8 KiB
Plaintext
Raw Normal View History

2017-02-26 23:54:06 +03:00
# http://ocaml.org
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
# require ocp-indent
# Detection
# ‾‾‾‾‾‾‾‾‾
hook global BufCreate .*\.mli? %{
set-option buffer filetype ocaml
2017-02-26 23:54:06 +03:00
}
# Highlighters
# ‾‾‾‾‾‾‾‾‾‾‾‾
add-highlighter shared/ocaml regions
add-highlighter shared/ocaml/code default-region group
add-highlighter shared/ocaml/string region '"' (?<!\\)(\\\\)*" fill string
add-highlighter shared/ocaml/comment region \Q(* \Q*) fill comment
2017-02-26 23:54:06 +03:00
# Commands
# ‾‾‾‾‾‾‾‾
define-command -hidden ocaml-indent-on-char %{
evaluate-commands -no-hooks -draft -itersel %{
execute-keys ";i<space><esc>Gg|ocp-indent --config base=%opt{indentwidth} --indent-empty --lines %val{cursor_line}<ret>"
2017-02-26 23:54:06 +03:00
}
}
# Initialization
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾
hook -group ocaml-highlight global WinSetOption filetype=ocaml %{ add-highlighter window/ocaml ref ocaml }
2017-02-26 23:54:06 +03:00
hook global WinSetOption filetype=ocaml %{
hook window InsertChar [|\n] -group ocaml-indent ocaml-indent-on-char
}
hook -group ocaml-highlight global WinSetOption filetype=(?!ocaml).* %{ remove-highlighter window/ocaml }
2017-02-26 23:54:06 +03:00
hook global WinSetOption filetype=(?!ocaml).* %{
remove-hooks window ocaml-indent
}
# Macro
# ‾‾‾‾‾
evaluate-commands %sh{
2017-02-26 23:54:06 +03:00
keywords=and:as:asr:assert:begin:class:constraint:do:done:downto:else:end:exception:external:false:for:fun:function:functor:if:in:include:inherit:initializer:land:lazy:let:lor:lsl:lsr:lxor:match:method:mod:module:mutable:new:nonrec:object:of:open:or:private:rec:sig:struct:then:to:true:try:type:val:virtual:when:while:with
echo "
add-highlighter shared/ocaml/code/ regex \b($(printf $keywords | tr : '|'))\b 0:keyword
2017-02-26 23:54:06 +03:00
hook global WinSetOption filetype=ocaml %{
set-option window static_words $keywords
2017-02-26 23:54:06 +03:00
}
"
}