mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-18 07:15:19 +00:00
e2327c6f11
Estimated hours taken: 0.1 Branches: main vim/mercury.vim: Add the recently added foreign proc attributes as keywords.
100 lines
4.9 KiB
VimL
100 lines
4.9 KiB
VimL
" Vim syntax file
|
|
" Language: Mercury
|
|
" Maintainer: Ralph Becket <rafe@cs.mu.oz.au>
|
|
" vim: ts=2 sw=2 et
|
|
|
|
if exists("b:current_syntax")
|
|
finish
|
|
endif
|
|
let b:current_syntax = "mercury"
|
|
|
|
" Mercury is case sensitive.
|
|
"
|
|
syn case match
|
|
|
|
" The default highlighting for Mercury comments is to only highlight the
|
|
" initial `%' and subsequent `line' punctuation characters. To highlight
|
|
" everything including the comment text, add
|
|
"
|
|
" let mercury_highlight_full_comment = 1
|
|
"
|
|
" somewhere in your `.vimrc' file.
|
|
"
|
|
" By default, parts of lines that extend over 80 characters will be
|
|
" highlighted. To avoid this behaviour, add
|
|
"
|
|
" let mercury_no_highlight_overlong = 1
|
|
"
|
|
" somewhere in your `.vimrc' file.
|
|
"
|
|
if exists("mercury_highlight_full_comment") && mercury_highlight_full_comment
|
|
syn region mercuryComment start=+%+ end=+.*$+ contains=mercuryToDo
|
|
else
|
|
syn region mercuryComment start=+%[-=%*_]*+ end=+.*$+he=s-1 contains=mercuryToDo
|
|
endif
|
|
syn keyword mercuryKeyword module use_module import_module
|
|
syn keyword mercuryKeyword include_module end_module
|
|
syn keyword mercuryKeyword initialise mutable
|
|
syn keyword mercuryKeyword initialize finalize finalise
|
|
syn keyword mercuryKeyword interface implementation
|
|
syn keyword mercuryKeyword pred mode func type inst solver
|
|
syn keyword mercuryKeyword is semidet det nondet multi erroneous failure
|
|
syn keyword mercuryKeyword cc_nondet cc_multi
|
|
syn keyword mercuryKeyword typeclass instance where
|
|
syn keyword mercuryKeyword pragma promise external
|
|
syn keyword mercuryPragma inline no_inline
|
|
syn keyword mercuryPragma type_spec source_file fact_table obsolete
|
|
syn keyword mercuryPragma memo loop_check minimal_model
|
|
syn keyword mercuryPragma terminates does_not_terminate check_termination
|
|
syn keyword mercuryPragma promise_equivalent_clauses
|
|
syn keyword mercuryCInterface c_header_code c_code
|
|
syn keyword mercuryCInterface foreign_proc foreign_decl foreign_code
|
|
syn keyword mercuryCInterface foreign_type foreign_import_module
|
|
syn keyword mercuryCInterface may_call_mercury will_not_call_mercury
|
|
syn keyword mercuryCInterface thread_safe not_thread_safe maybe_thread_safe
|
|
syn keyword mercuryCInterface promise_pure promise_semipure
|
|
syn keyword mercuryCInterface tabled_for_io local untrailed trailed
|
|
syn keyword mercuryCInterface attach_to_io_state
|
|
syn keyword mercuryCInterface can_pass_as_mercury_type stable
|
|
syn keyword mercuryCInterface will_not_throw_exception
|
|
syn keyword mercuryCInterface may_modify_trail will_not_modify_trail
|
|
syn keyword mercuryCInterface affects_liveness
|
|
syn keyword mercuryCInterface does_not_affect_liveness doesnt_affect_liveness
|
|
syn keyword mercuryCInterface export import
|
|
syn keyword mercuryImpure impure semipure
|
|
syn keyword mercuryToDo XXX TODO NOTE
|
|
syn keyword mercuryLogical some all not if then else true fail
|
|
syn match mercuryImplication +<=>\|<=\|=>\|/\\\|\\/+
|
|
syn match mercuryNumCode +0'.\|0[box][0-9a-fA-F]*+
|
|
syn region mercuryAtom start=+'+ skip=+\\.+ end=+'+
|
|
syn region mercuryString start=+"+ skip=+\\.+ end=+"+ contains=mercuryStringFmt
|
|
syn match mercuryStringFmt +\\[abfnrtv]\|\\x[0-9a-fA-F]*\\\|%[-+# *.0-9]*[dioxXucsfeEgGp]+ contained
|
|
syn region mercuryClauseHead start=+^[a-zA-Z]+ end=+=\|:-\|\.\s*$\|-->+ contains=mercuryComment,mercuryCComment,mercuryAtom,mercuryString
|
|
syn region mercuryCComment start=+/\*+ end=+\*/+ contains=mercuryToDo
|
|
if !exists("mercury_no_highlight_overlong") || !mercury_no_highlight_overlong
|
|
" The complicated regexp here matches an 80-column string,
|
|
" with proper treatment of tabs (assuming the tab size is 8):
|
|
" each row consists of 10 columns, and each column consists of either 8
|
|
" non-tab characters, or 0-7 non-tab characters followed by a tab.
|
|
syn match mercuryFirst80 +^\([^ ]\{8}\|[^ ]\{0,7} \)\{10}+ contains=ALL
|
|
syn match mercuryTooLong +^\([^ ]\{8}\|[^ ]\{0,7} \)\{10}..*+ contains=mercuryFirst80
|
|
endif
|
|
|
|
syn sync fromstart
|
|
|
|
hi link mercuryComment Comment
|
|
hi link mercuryCComment Comment
|
|
hi link mercuryNumCode Special
|
|
hi link mercuryImpure Special
|
|
hi link mercuryKeyword Keyword
|
|
hi link mercuryPragma PreProc
|
|
hi link mercuryCInterface PreProc
|
|
hi link mercuryToDo Todo
|
|
hi link mercuryLogical Special
|
|
hi link mercuryImplication Special
|
|
hi link mercuryClauseHead Statement
|
|
hi link mercuryString String
|
|
hi link mercuryStringFmt Special
|
|
hi link mercuryAtom Constant
|
|
hi link mercuryTooLong ErrorMsg
|