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

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

vim/syntax/mercury.vim:
	Update the vim syntax file.

Julien.

Index: mercury.vim
===================================================================
RCS file: /home/mercury1/repository/mercury/vim/syntax/mercury.vim,v
retrieving revision 1.9
diff -u -r1.9 mercury.vim
--- mercury.vim	24 May 2004 08:56:51 -0000	1.9
+++ mercury.vim	22 Sep 2004 05:05:50 -0000
@@ -35,11 +35,11 @@
 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
+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
+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
@@ -51,7 +51,7 @@
 syn keyword mercuryCInterface   thread_safe not_thread_safe
 syn keyword mercuryCInterface   promise_pure promise_semipure
 syn keyword mercuryCInterface   tabled_for_io
-syn keyword mercuryCInterface   can_pass_as_mercury_type
+syn keyword mercuryCInterface   can_pass_as_mercury_type stable
 syn keyword mercuryCInterface   export import
 syn keyword mercuryImpure       impure semipure
 syn keyword mercuryToDo         XXX TODO NOTE

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------