[ highlighting ] Make opening bracket to be highlighted as closing one

buzden · Sep 12, 2023 · 9919039 · 9919039
1 parent 7227096
commit 9919039
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Idris/Parser.idr b/src/Idris/Parser.idr
@@ -404,7 +404,7 @@ mutual
     <|> do e <- bounds (typeExpr pdef fname indents)
            -- dependent pairs with no type annotation
            (do loc <- bounds (symbol "**")
-               rest <- bounds ((nestedDpair fname loc indents <|> expr pdef fname indents) <* symbol ")")
+               rest <- bounds ((nestedDpair fname loc indents <|> expr pdef fname indents) <* decoratedSymbol fname ")")
                pure (PDPair (boundToFC fname (mergeBounds s rest))
                             (boundToFC fname loc)
                             e.val
@@ -591,7 +591,7 @@ mutual
            pure (PQuoteDecl (boundToFC fname b) (collectDefs (concat b.val)))
     <|> do b <- bounds (decoratedSymbol fname "~" *> simpleExpr fname indents)
            pure (PUnquote (boundToFC fname b) b.val)
-    <|> do start <- bounds (symbol "(")
+    <|> do start <- bounds (decoratedSymbol fname "(")
            bracketedExpr fname start indents
     <|> do start <- bounds (symbol "[<")
            snocListExpr fname start indents