Typed-Parameter Lambdas with Inferred Return Type

3 sections

Section 2 Parser — typed-param inferred-return lambda + = disambiguation Section 10 Spec + grammar sync — lambda productions + Clause 14 Section 11 Conformance tests — corpus green + parser pins
Overview

Add the lambda form (x: T) -> body: typed parameters with an inferred return type, no =. Unify it with the existing untyped simple_lambda so annotating a parameter no longer forces a return-type annotation. Retain (x: T) -> RetT = body for explicit return types. The change is parser-only; the new form lowers to the same AST node the untyped inferred-return form already produces.

○

In Progress

1 sections
Section 11 In Progress

Conformance tests — corpus green + parser pins

Make the previously-failing inferred-return-typed-lambda corpus parse and pass, and add positive + negative pins guarding the disambiguation and the bare -> Type case (E2005 type-name-as-value at typeck, not a parse diagnostic).

0/0 tasks
○

Planned

1 sections
Section 10 Not Started

Spec + grammar sync — lambda productions + Clause 14

Sync grammar.ebnf lambda productions and 14-expressions.md to the approved inferred-return typed lambda form via /sync-grammar + /sync-spec; update the ori-syntax quick reference.

0/0 tasks
✓

Completed

1 sections
Section 2 Complete

Parser — typed-param inferred-return lambda + = disambiguation

Add the (x: T) -> body lambda form in ori_parse with =-delimiter disambiguation between an explicit return type and a body expression, by routing parse_typed_lambda_body through the shared try_parse_lambda_return_type helper; lower to the existing ExprKind::Lambda node.

0/0 tasks