rhi
/
ats-vim
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Compare commits

base: rhi:e8e83886b635daabc3498b1e3a7913b894d6ecc4
Branches Tags
rhi:main
...
compare: rhi:3f89fa04ffa8b5128dc638f9301333ebc5b0993b
Branches Tags
rhi:main

5 Commits
e8e83886b6 ... 3f89fa04ff

Author SHA1 Message Date
rhiannon morris 3f89fa04ff enough red idents 2022-10-06 17:21:54 +02:00
rhiannon morris 72e16377a8 if i want conceal i will turn it on myself thanx 2022-10-06 17:21:43 +02:00
Vanessa McHale 8e3e722b6d 64 2020-09-04 16:15:38 -05:00
Vanessa McHale a175766872 Add ullint + llint types 2020-03-23 19:13:43 -05:00
Vanessa McHale 045fa53f1e try 2020-03-03 16:02:24 -06:00
1 changed files with 6 additions and 8 deletions
Show Stats Expand all files Collapse all files

14
syntax/ats.vim
View File

@ -37,7 +37,7 @@ syn match atsArrow '=/=>>'
syn region atsArrow start="=<" end=">" contains=arrowContents
syn region atsArrow start="-<" end=">"
syn keyword atsType void bool string char int uint uint8 uint32 uint16 int8 int32 int16 charNZ strnptr Strptr0 Strptr1 nat lint ulint double float size_t
syn keyword atsType void bool string char int uint uint8 uint32 uint64 uint16 int8 int32 int16 int64 charNZ strnptr Strptr0 Strptr1 nat lint ulint double float size_t llint ullint
syn keyword atsType datavtype datatype vtypedef dataviewtype viewtypdef typedef view viewdef dataview abstype absvtype absviewtype absview datasort dataprop type viewtype vtype propdef prop
syn keyword atsType absimpl absprop
syn keyword atsType implement primplmnt extern
@ -54,10 +54,10 @@ syn match atsComment "\v\/\/.*$" contains=atsTodo,@Spell
syn region atsNestComment start="/\*" end="\*/" contains=atsNestComment,atsTodo,@Spell
syn region atsNestParenComment start="(\*" end="\*)" contains=atsTodo,@Spell,atsNestParenComment
syntax match atsType 'absvt@ype'
syntax match atsType 'vt@ype'
syntax match atsType 'abst@ype'
syntax match atsType 't@ype'
syntax match atsType 'absvt@ype' contains=atsOperator
syntax match atsType 'vt@ype' contains=atsOperator
syntax match atsType 'abst@ype' contains=atsOperator
syntax match atsType 't@ype' contains=atsOperator
syntax match logicalAnd '&&' conceal cchar=∧
syntax match leq '<=' conceal cchar=≤
@ -93,12 +93,10 @@ highlight link atsNestComment Comment
highlight link atsNestParenComment Comment
highlight link atsKeyword Keyword
highlight link atsType Type
highlight link atsIdentifier Identifier
highlight link atsIdentifier Normal
hi def link atsCBlock Special
setlocal conceallevel=1
let b:current_syntax = 'ats'
if main_syntax ==# 'ats'