From 4c57fc24599d55b2a1d2543c68513eda1ecd7420 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