Syntax.Parse.TypeSemantics

Semantic checks behind the generated structural type parser.

This module deliberately knows nothing about Type grammar control flow. GeneratedType calls the one public hook only after consuming a complete usage row, keeping diagnostics typed without threading parser callbacks through recursive productions.

Functions and Values

validate_usage

validate_usage : (Syntax.Cursor.Cursor, Syntax.Ast.Ty, List(String), Bool, Syntax.Cursor.Cursor) -> Syntax.Parse.Support.Parsed(Syntax.Ast.Ty)