mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-20 00:15:27 +00:00
f9f67d679b
Estimated hours taken: 4.5 Branches: main Add a new foreign proc attribute `maybe_thread_safe' and a new compiler option `--maybe-thread-safe'. The thread safety of foreign procs that have the `maybe_thread_safety' attribute set is dependent upon the value of the `--maybe-thread-safe' option. This facility is intended for use in writing bindings to libraries whose thread safety is itself conditional. At quite an early stage `maybe_thread_safe' is turned into either `thread_safe' or `not_thread_safe' depending on the value of the `--maybe-thread-safe' option. In particular, it will appear as either `thread_safe' or `not_thread_safe' in any optimization interfaces. compiler/prog_io_pragma.m compiler/prog_data.m Parse the new foreign code attribute, `maybe_thread_safe'. Fix a place where the line width was > 79 characters. compiler/options.m: compiler/globals.m: compiler/handle_options.m: Add a new option `--maybe-thread-safe' that tells the compiler how to handle `maybe_thread_safe' foreign code attributes. compiler/make_hlds.m: Convert any `maybe_thread_safe' attributes into `thread_safe' or `not_thread_safe' attributes depending upon the value of the `--maybe-thread-safe' option. compiler/pragma_c_gen.m: Call unexpected/2 if we encounter the `maybe_thread_safe' attribute here, as it should have been replaced with either `thread_safe' or `not_thread_safe' by this point. doc/reference_manual.texi: doc/user_guide.texi: Document the new attribute and option. vim/syntax/mercury.vim: Highlight the new attribute.
93 lines
4.4 KiB
VimL
93 lines
4.4 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 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 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
|
|
syn keyword mercuryCInterface can_pass_as_mercury_type stable
|
|
syn keyword mercuryCInterface will_not_throw_exception
|
|
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
|