pub fn resolve_open(expr: &mut Expr) -> Result<(), ParseError>Expand description
Resolve an open term: a free name is not rejected but auto-bound below the
whole scope, so the pass runs to completion on a fragment. Used by tooling and
by the parse golden suite, which resolves open terms (their s-expressions read
like the spec) without a rejection — the real index assignment and or-arm
agreement still run, and names render by name, so the goldens do not change.
Prefer resolve for a whole program.