[m-rev.] trivial diff: update vim syntax file

Julien Fischer juliensf at csse.unimelb.edu.au
Thu Feb 28 15:22:36 AEDT 2008

Estimated hours taken: 0
Branches: main

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


Index: vim/syntax/mercury.vim
RCS file: /home/mercury/mercury1/repository/mercury/vim/syntax/mercury.vim,v
retrieving revision 1.24
diff -u -r1.24 mercury.vim
--- vim/syntax/mercury.vim	27 Feb 2008 07:23:57 -0000	1.24
+++ vim/syntax/mercury.vim	28 Feb 2008 04:21:22 -0000
@@ -66,7 +66,8 @@
  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=+'+

mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list