mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Highlight semidet_true and friends in the same was as true etc.

Browse Source 
Estimated hours taken: 0
Branches: main

vim/syntax/mercury.vim:
	Highlight semidet_true and friends in the same was as true etc.
This commit is contained in:
Julien Fischer
2008-02-28 05:20:41 +00:00
parent 435c4d274d
commit 26f66da17d
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
vim/syntax/mercury.vim
View File

@@ -66,7 +66,8 @@ 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 keyword mercuryLogical some all not if then else true fail false
syn keyword mercuryLogical semidet_true semidet_false semidet_fail impure_true
syn match mercuryImplication +<=>\|<=\|=>\|/\\\|\\/+
syn match mercuryNumCode +0'.\|0[box][0-9a-fA-F]*+
syn region mercuryAtom start=+'+ skip=+\\.+ end=+'+