[m-rev.] diff: update mercury.vim for sharing keywords

Zoltan Somogyi zs at csse.unimelb.edu.au
Wed Aug 13 14:00:48 AEST 2008


vim/syntax/mercury.vim:
	Add the pragma keywords for sharing.

Zoltan.

cvs diff: Diffing .
cvs diff: Diffing after
cvs diff: Diffing ftplugin
cvs diff: Diffing syntax
Index: syntax/mercury.vim
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/vim/syntax/mercury.vim,v
retrieving revision 1.26
diff -u -b -r1.26 mercury.vim
--- syntax/mercury.vim	14 Apr 2008 13:33:45 -0000	1.26
+++ syntax/mercury.vim	4 Aug 2008 16:04:12 -0000
@@ -63,11 +63,13 @@
 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   no_sharing unknown_sharing sharing
 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 false
-syn keyword mercuryLogical      semidet_true semidet_false semidet_fail impure_true 
+syn keyword mercuryLogical      semidet_true semidet_false semidet_fail
+syn keyword mercuryLogical      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