1
1
mirror of https://github.com/github/semantic.git synced 2024-12-30 10:27:45 +03:00

Clarify that the parser weakens the terms.

This commit is contained in:
Rob Rix 2017-05-19 13:50:35 -04:00
parent ff338d3684
commit 2f46384e74

View File

@ -26,7 +26,7 @@ import TreeSitter
data Parser term where
-- | A parser producing 'AST' using a 'TS.Language'.
ASTParser :: (Bounded grammar, Enum grammar) => Ptr TS.Language -> Parser (AST grammar)
-- | A parser producing an à la carte term given an 'AST'-producing parser and an 'Assignment' onto 'Term's in some syntax type.
-- | A parser producing an à la carte term given an 'AST'-producing parser and an 'Assignment' onto 'Term's in some syntax type. Assignment errors will result in a top-level 'Syntax.Error' node.
AssignmentParser :: (Bounded grammar, Enum grammar, Eq grammar, Symbol grammar, Functor (Union fs))
=> Parser (AST grammar)
-> Assignment (Node grammar) (Term (Union fs) Location)