From 17d0de36bf0f125ecac2ac6142c226f32f5370a5 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Fri, 21 Oct 2011 18:22:59 -0700 Subject: Dafny: changed triggers (which are never really used, anyhow) from having a special syntactic form to being just an attribute Dafny: added "parallel" statement (so far, only parsing and resolving) Dafny: allow types on bound variables in "match" expressions/statements (there's never any incentive to list them explicitly in the program text, but it nevertheless seemed silly to forbid them) --- Util/vim/syntax/dafny.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Util/vim') diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim index e26227ed..4014e427 100644 --- a/Util/vim/syntax/dafny.vim +++ b/Util/vim/syntax/dafny.vim @@ -8,7 +8,7 @@ syntax case match syntax keyword dafnyFunction function method constructor syntax keyword dafnyTypeDef class datatype syntax keyword dafnyConditional if then else match case -syntax keyword dafnyRepeat foreach while +syntax keyword dafnyRepeat foreach while parallel syntax keyword dafnyStatement havoc assume assert return new print break label syntax keyword dafnyKeyword var ghost returns null static this refines replaces by syntax keyword dafnyType bool nat int seq set object array array2 array3 -- cgit v1.2.3