diff --git a/syntax/idris2.vim b/syntax/idris2.vim index d13efba..757edca 100644 --- a/syntax/idris2.vim +++ b/syntax/idris2.vim @@ -13,7 +13,7 @@ syn match idrisTypeDecl "[a-zA-Z][a-zA-z0-9_']*\s\+:\s\+" \ contains=idrisIdentifier,idrisOperators 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 idrisBrace 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