Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

vim: fix nested blockcomments

  • Loading branch information...
commit 7ff46f3dc4196ad0ba111b2a51274f062a917785 1 parent 9f1141e
@raichoo raichoo authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 contribs/tool-support/vim/syntax/idris.vim
4 contribs/tool-support/vim/syntax/idris.vim
@@ -4,7 +4,7 @@
" highlighter to support idris.
" author: raichoo (
-" date: Mar 19 2013
+" date: Mar 20 2013
syn match idrisModule "\<\(module\|namespace\)\>"
syn match idrisImport "\<import\>"
@@ -28,7 +28,7 @@ syn match idrisLink "%\(lib\|link\|include\)"
syn match idrisDirective "%\(access\|default\|assert_total\)"
syn match idrisDSL "\(lambda\|variable\|\index_first\|index_next\)"
syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
-syn region idrisBlockComment start="{-" end="-}"
+syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment
syn region idrisProofBlock start="\(default\s\+\)\?\(proof\|tactics\) *{" end="}" contains=idrisTactic
syn match idrisBadLeadingWhiteSpace "^\s*\t\+"
Please sign in to comment.
Something went wrong with that request. Please try again.