From 58d3843ef1c52ab99247ec8e95b809936b6beaae Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Tue, 28 Dec 2021 09:56:16 +0100 Subject: [PATCH] add idiom brackets --- syntax/idris2.vim | 1 + 1 file changed, 1 insertion(+) diff --git a/syntax/idris2.vim b/syntax/idris2.vim index b3e7bfc..d13efba 100644 --- a/syntax/idris2.vim +++ b/syntax/idris2.vim @@ -14,6 +14,7 @@ syn match idrisTypeDecl "[a-zA-Z][a-zA-z0-9_']*\s\+:\s\+" syn region idrisParens matchgroup=idrisDelimiter start="(" end=")" contains=TOP,idrisTypeDecl syn region idrisBrackets matchgroup=idrisDelimiter start="\[" end="]" contains=TOP,idrisTypeDecl syn region idrisBlock matchgroup=idrisDelimiter start="{" end="}" contains=TOP,idrisTypeDecl +syn region idrisIdiom matchgroup=idrisDelimiter start="\[|" end="|]" contains=TOP,idrisTypeDecl syn keyword idrisModule module namespace syn keyword idrisImport import syn keyword idrisStructure data record interface implementation