You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Attempting to match the query (function (lhs (atom) @function)) with the tree-sitter-agda grammar throws a query error: impossible pattern, and fails to match. This is despite said query existing. Examples: DoNotation.agda, DoNotation.agda.scm
It was brought up by @amaanq that this is probably a core bug when an alias points to the same symbol name for multiple nodes?
The text was updated successfully, but these errors were encountered:
Attempting to match the query
(function (lhs (atom) @function))
with the tree-sitter-agda grammar throws a query error: impossible pattern, and fails to match. This is despite said query existing. Examples: DoNotation.agda, DoNotation.agda.scmIt was brought up by @amaanq that this is probably a core bug when an alias points to the same symbol name for multiple nodes?
The text was updated successfully, but these errors were encountered: