adam/vim
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

runtime(logtalk): Update Logtalk runtime files for the latest language spec (#13697)

Browse Source 
Signed-off-by: Paulo Moura <pmoura@logtalk.org>
Signed-off-by: Christian Brabandt <cb@256bit.org>
This commit is contained in:
Paulo Moura
2023-12-16 13:27:09 +00:00
committed by GitHub
parent 5eb9cb53d6
commit 0f61943eb7
2 changed files with 39 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
runtime/ftplugin/logtalk.dict
View File

@ -18,10 +18,7 @@ atan2
atom atom
atomic atomic
atom_chars atom_chars
atom_chars
atom_codes atom_codes
atom_codes
atom_concat
atom_concat atom_concat
atom_length atom_length
at_end_of_stream at_end_of_stream
@ -32,6 +29,7 @@ call
callable callable
calls calls
catch catch
catchall_catch
category category
category_property category_property
ceiling ceiling
@ -45,9 +43,9 @@ coinduction
coinductive coinductive
compare compare
complements complements
complements
complements_object complements_object
compound compound
conditionals
conforms_to_protocol conforms_to_protocol
context context
context_switching_calls context_switching_calls
@ -87,6 +85,7 @@ end_object
end_protocol end_protocol
engines engines
ensure_loaded ensure_loaded
error
evaluation_error evaluation_error
events events
existence_error existence_error
@ -152,12 +151,13 @@ nonvar
number number
numbervars numbervars
number_chars number_chars
number_chars
number_codes
number_codes number_codes
object object
object_property object_property
once once
one
one_or_error
one_or_more
op op
open open
optimize optimize
@ -226,6 +226,7 @@ term_variables
this this
threaded threaded
threaded_call threaded_call
threaded_cancel
threaded_engine threaded_engine
threaded_engine_create threaded_engine_create
threaded_engine_destroy threaded_engine_destroy
@ -250,6 +251,7 @@ type_error
undefined_predicates undefined_predicates
underscore_variables underscore_variables
unify_with_occurs_check unify_with_occurs_check
uninstantiation_error
unknown_entities unknown_entities
unknown_predicates unknown_predicates
uses uses
@ -260,3 +262,8 @@ write
writeq writeq
write_canonical write_canonical
xor xor
zero
zero_or_error
zero_or_more
zero_or_one
zero_or_one_or_error

49
runtime/syntax/logtalk.vim
View File

@ -2,7 +2,8 @@
" "
" Language: Logtalk " Language: Logtalk
" Maintainer: Paulo Moura <pmoura@logtalk.org> " Maintainer: Paulo Moura <pmoura@logtalk.org>
" Last Change: August 3, 2018 " Last Change: December 16, 2023
" quit when a syntax file was already loaded " quit when a syntax file was already loaded
@ -30,7 +31,7 @@ syn match logtalkOperator ":-"
" Logtalk quoted atoms and strings " Logtalk quoted atoms and strings
syn region logtalkString start=+"+ skip=+\\"+ end=+"+ syn region logtalkString start=+"+ skip=+\\"+ end=+"+ contains=logtalkEscapeSequence
syn region logtalkAtom start=+'+ skip=+\\'+ end=+'+ contains=logtalkEscapeSequence syn region logtalkAtom start=+'+ skip=+\\'+ end=+'+ contains=logtalkEscapeSequence
syn match logtalkEscapeSequence contained "\\\([\\abfnrtv\"\']\|\(x[a-fA-F0-9]\+\|[0-7]\+\)\\\)" syn match logtalkEscapeSequence contained "\\\([\\abfnrtv\"\']\|\(x[a-fA-F0-9]\+\|[0-7]\+\)\\\)"
@ -39,7 +40,7 @@ syn match logtalkEscapeSequence contained "\\\([\\abfnrtv\"\']\|\(x[a-fA-F0-9]\+
" Logtalk message sending operators " Logtalk message sending operators
syn match logtalkOperator "::" syn match logtalkOperator "::"
syn match logtalkOperator ":" syn match logtalkOperator "\(0'\)\@<!:"
syn match logtalkOperator "\^\^" syn match logtalkOperator "\^\^"
@ -138,7 +139,7 @@ syn match logtalkBuiltIn "\<logtalk_make\>"
syn match logtalkBuiltIn "\<\(for\|retract\)all\ze(" syn match logtalkBuiltIn "\<\(for\|retract\)all\ze("
syn match logtalkBuiltIn "\<threaded\(_\(call\|once\|ignore\|exit\|peek\|wait\|notify\)\)\?\ze(" syn match logtalkBuiltIn "\<threaded\(_\(ca\(ll\|ncel\)\|once\|ignore\|exit\|peek\|wait\|notify\)\)\?\ze("
syn match logtalkBuiltIn "\<threaded_engine\(_\(create\|destroy\|self\|next\|next_reified\|yield\|post\|fetch\)\)\?\ze(" syn match logtalkBuiltIn "\<threaded_engine\(_\(create\|destroy\|self\|next\|next_reified\|yield\|post\|fetch\)\)\?\ze("
@ -171,8 +172,8 @@ syn match logtalkBuiltInMethod "\<phrase\ze("
" Mode operators " Mode operators
syn match logtalkOperator "?" syn match logtalkOperator "\(0'\)\@<!?"
syn match logtalkOperator "@" syn match logtalkOperator "\(0'\)\@<!@"
" Control constructs " Control constructs
@ -181,19 +182,19 @@ syn match logtalkKeyword "\<true\>"
syn match logtalkKeyword "\<fail\>" syn match logtalkKeyword "\<fail\>"
syn match logtalkKeyword "\<false\>" syn match logtalkKeyword "\<false\>"
syn match logtalkKeyword "\<ca\(ll\|tch\)\ze(" syn match logtalkKeyword "\<ca\(ll\|tch\)\ze("
syn match logtalkOperator "!" syn match logtalkOperator "\(0'\)\@<!!"
" syn match logtalkOperator "," " syn match logtalkOperator "\(0'\)\@<!,"
syn match logtalkOperator ";" syn match logtalkOperator "\(0'\)\@<!;"
syn match logtalkOperator "-->" syn match logtalkOperator "-->"
syn match logtalkOperator "->" syn match logtalkOperator "->"
syn match logtalkKeyword "\<throw\ze(" syn match logtalkKeyword "\<throw\ze("
syn match logtalkKeyword "\<\(instantiation\|system\)_error\>" syn match logtalkKeyword "\<\(instantiation\|system\)_error\>"
syn match logtalkKeyword "\<\(type\|domain\|existence\|permission\|representation\|evaluation\|resource\|syntax\)_error\ze(" syn match logtalkKeyword "\<\(uninstantiation\|type\|domain\|existence\|permission\|representation\|evaluation\|resource\|syntax\)_error\ze("
" Term unification " Term unification
syn match logtalkOperator "=" syn match logtalkOperator "\(0'\)\@<!="
syn match logtalkKeyword "\<subsumes_term\ze(" syn match logtalkKeyword "\<subsumes_term\ze("
syn match logtalkKeyword "\<unify_with_occurs_check\ze(" syn match logtalkKeyword "\<unify_with_occurs_check\ze("
syn match logtalkOperator "\\=" syn match logtalkOperator "\\="
@ -246,9 +247,9 @@ syn match logtalkOperator "\<is\>"
syn match logtalkOperator "=:=" syn match logtalkOperator "=:="
syn match logtalkOperator "=\\=" syn match logtalkOperator "=\\="
syn match logtalkOperator "<" syn match logtalkOperator "\(0'\)\@<!<"
syn match logtalkOperator "=<" syn match logtalkOperator "=<"
syn match logtalkOperator ">" syn match logtalkOperator "\(0'\)\@<!>"
syn match logtalkOperator ">=" syn match logtalkOperator ">="
@ -310,11 +311,11 @@ syn match logtalkKeyword "\<\(key\)\?sort\ze("
" Evaluable functors " Evaluable functors
syn match logtalkOperator "+" syn match logtalkOperator "\(0'\)\@<![+]"
syn match logtalkOperator "-" syn match logtalkOperator "\(0'\)\@<![-]"
syn match logtalkOperator "\*" syn match logtalkOperator "\(0'\)\@<!\*"
syn match logtalkOperator "//" syn match logtalkOperator "//"
syn match logtalkOperator "/" syn match logtalkOperator "\(0'\)\@<!/"
syn match logtalkKeyword "\<div\ze(" syn match logtalkKeyword "\<div\ze("
syn match logtalkKeyword "\<r\(ound\|em\)\ze(" syn match logtalkKeyword "\<r\(ound\|em\)\ze("
syn match logtalkKeyword "\<e\>" syn match logtalkKeyword "\<e\>"
@ -330,7 +331,7 @@ syn match logtalkKeyword "\<t\(an\|runcate\)\ze("
syn match logtalkKeyword "\<ceiling\ze(" syn match logtalkKeyword "\<ceiling\ze("
" Other arithmetic functors " Other arithemtic functors
syn match logtalkOperator "\*\*" syn match logtalkOperator "\*\*"
syn match logtalkKeyword "\<s\(in\|qrt\)\ze(" syn match logtalkKeyword "\<s\(in\|qrt\)\ze("
@ -346,18 +347,18 @@ syn match logtalkOperator ">>"
syn match logtalkOperator "<<" syn match logtalkOperator "<<"
syn match logtalkOperator "/\\" syn match logtalkOperator "/\\"
syn match logtalkOperator "\\/" syn match logtalkOperator "\\/"
syn match logtalkOperator "\\" syn match logtalkOperator "0'\@<!\\"
syn match logtalkKeyword "\<xor\ze(" syn match logtalkKeyword "\<xor\ze("
" Logtalk list operator " Logtalk list operator
syn match logtalkOperator "|" syn match logtalkOperator "\(0'\)\@<!|"
" Logtalk existential quantifier operator " Logtalk existential quantifier operator
syn match logtalkOperator "\^" syn match logtalkOperator "\(0'\)\@<!^"
" Logtalk numbers " Logtalk numbers
@ -366,7 +367,7 @@ syn match logtalkNumber "\<\d\+\>"
syn match logtalkNumber "\<\d\+\.\d\+\>" syn match logtalkNumber "\<\d\+\.\d\+\>"
syn match logtalkNumber "\<\d\+[eE][-+]\=\d\+\>" syn match logtalkNumber "\<\d\+[eE][-+]\=\d\+\>"
syn match logtalkNumber "\<\d\+\.\d\+[eE][-+]\=\d\+\>" syn match logtalkNumber "\<\d\+\.\d\+[eE][-+]\=\d\+\>"
syn match logtalkNumber "\<0'[\\]\?.\|0''\|0'\"\>" syn match logtalkNumber "0'[\\]\?."
syn match logtalkNumber "\<0b[0-1]\+\>" syn match logtalkNumber "\<0b[0-1]\+\>"
syn match logtalkNumber "\<0o\o\+\>" syn match logtalkNumber "\<0o\o\+\>"
syn match logtalkNumber "\<0x\x\+\>" syn match logtalkNumber "\<0x\x\+\>"
@ -374,13 +375,13 @@ syn match logtalkNumber "\<0x\x\+\>"
" Logtalk end-of-clause " Logtalk end-of-clause
syn match logtalkOperator "\." syn match logtalkOperator "\(0'\)\@<!\."
" Logtalk comments " Logtalk comments
syn region logtalkBlockComment start="/\*" end="\*/" fold syn region logtalkBlockComment start="/\*" end="\*/" fold
syn match logtalkLineComment "%.*" syn match logtalkLineComment "%.*$"
syn cluster logtalkComment contains=logtalkBlockComment,logtalkLineComment syn cluster logtalkComment contains=logtalkBlockComment,logtalkLineComment