diff --git a/src/Parsing/Parser.hs b/src/Parsing/Parser.hs index 3c6423075..63a8356d9 100644 --- a/src/Parsing/Parser.hs +++ b/src/Parsing/Parser.hs @@ -2,6 +2,7 @@ module Parsing.Parser ( Parser(..) , SomeParser(..) +, SomeTerm(..) , SomeAnalysisParser(..) , SomeASTParser(..) , someParser @@ -151,6 +152,10 @@ markdownParser :: Parser Markdown.Term markdownParser = AssignmentParser MarkdownParser Markdown.assignment +data SomeTerm typeclasses ann where + SomeTerm :: ApplyAll typeclasses syntax => Term syntax ann -> SomeTerm typeclasses ann + + -- | A parser for producing specialized (tree-sitter) ASTs. data SomeASTParser where SomeASTParser :: (Bounded grammar, Enum grammar, Show grammar)