From 033fe33caafedc83ae64299c172b12c8e6b56c24 Mon Sep 17 00:00:00 2001 From: Vanessa McHale Date: Mon, 26 Feb 2018 19:46:25 -0600 Subject: [PATCH] package publish --- syntax/ats.vim | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/syntax/ats.vim b/syntax/ats.vim index ce6b764..2db9064 100644 --- a/syntax/ats.vim +++ b/syntax/ats.vim @@ -18,8 +18,8 @@ syn match atsSpecial -\v\\[0-9]+- syn region atsString start=+"+ end=+"+ contains=atsSpecial -syn keyword atsKeyword staload dynload overload with fun symintr include fn fnx and prfun prfn praxi -syn keyword atsKeyword lam llam fix raise of var val prval if then else addr +syn keyword atsKeyword staload dynload overload with fun symintr include fn fnx and prfun prfn praxi castfn sortdef +syn keyword atsKeyword lam llam fix raise of var val prval if then else addr let in end syn keyword atsKeywordTwo case ifcase syn match atsKeyword "\v[\%\+\-\<\>\=!\:\~]+" @@ -29,10 +29,10 @@ syn keyword atsFixity infixr infixl prefix postfix syn keyword arrowContents cloref1 cloptr1 lincloptr cloref cloptr syn region atsArrow start="=<" end=">" contains=arrowContents -syn region atsArrow start="-<" end=">" contains=arrowContents +syn region atsArrow start="-<" end=">" syn keyword atsType void bool string char int uint charNZ strnptr Strptr0 Strptr1 nat -syn keyword atsType datavtype datatype vtypedef dataviewtype viewtypdef typedef view viewdef +syn keyword atsType datavtype datatype vtypedef dataviewtype viewtypdef typedef view viewdef dataview abstype absvtype absviewtype datasort dataprop syn keyword atsType implement primplmnt extern syn match atsParens "[()]" @@ -45,7 +45,7 @@ syn region atsMacro start="#" end="\v$" contains=atsString syn keyword atsBool true false -syn match atsComment "\v^\/\/.*$" +syn match atsComment "\v\/\/.*$" syn region atsNestComment start="(\*" end="\*)" contains=atsNestComment,atsTodo,@Spell syntax match logicalAnd '&&' conceal cchar=∧