Skip to main content

Module parse

Module parse 

Source
Expand description

Recursive-descent parser entry points and diagnostics. Recursive-descent parser: laid-out token stream → typed AST (src/ast.rs).

Error recovery is per-declaration: an unparseable declaration becomes Decl::Unknown plus a diagnostic, and parsing continues at the next virtual semicolon. The parser never panics and never aborts the file.

Structs§

ParseModuleResult

Constants§

MAX_RECURSION_DEPTH

Functions§

parse_module
Parse Daml source into a Module plus any ParseDiagnostics, in source order.