From b9645e27ed3e761fc2678b193e0acce6c0bf8aef Mon Sep 17 00:00:00 2001 From: Andrei Liviu Georgescu <146103342+andreilgeorgescu@users.noreply.github.com> Date: Mon, 16 Oct 2023 13:29:36 -0400 Subject: [PATCH] Add {-, -} block comments to linters/plugin.yaml (#517) Fixes #516 --------- Co-authored-by: Tyler Jang --- linters/plugin.yaml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/linters/plugin.yaml b/linters/plugin.yaml index bb1575a48..207041c32 100644 --- a/linters/plugin.yaml +++ b/linters/plugin.yaml @@ -1,6 +1,10 @@ version: 0.1 lint: comment_formats: + - name: brace-hyphen-block + leading_delimiter: "{-" + trailing_delimiter: "-}" + - name: dashes-block leading_delimiter: --[[ trailing_delimiter: --]] @@ -232,6 +236,14 @@ lint: comments: - hyphen-hash + - name: haskell + extensions: + - hs + - lhs + comments: + - brace-hyphen-block + - dashes-inline + - name: hcl extensions: - hcl