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§

ParseModuleError
Recoverable parse failure for strict callers.
ParseModuleResult
Result of tolerant module parsing.

Constants§

MAX_RECURSION_DEPTH

Functions§

parse_module
Parse Daml source into a Module plus any ParseDiagnostics, in source order.
parse_module_strict
Parse Daml source into a Module, treating any diagnostic as failure.