Repository navigation

Type undeclared lambda actuals from preceding application formals (N7 token_stream) - #13623

Closed

gunbai-bot[bot] wants to merge 28 commits into

n7/payload-binder-derived-factfrom

n7/token-stream-lambda-expected-type

Closed

Type undeclared lambda actuals from preceding application formals (N7 token_stream)#13623
gunbai-bot[bot] wants to merge 28 commits into
n7/payload-binder-derived-factfrom
n7/token-stream-lambda-expected-type

Commits on Oct 9, 2026
- Type undeclared lambda actuals from preceding application formals.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4b93c52
- Carry judged application instances on the gather acc instead of recomputing them.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  733533e
- Admit expected-lambda binder types only for a single domain binder.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  8f1821d
- Read the callee edge through list_at_optional so its target is typed.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b1ade00
- Judge each gather actual by authored child index and refuse a missing pair.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  eb91b0d
- Carry the application pairing on the gather acc instead of rebuilding it per actual.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9c4ef3b
- Distinguish callee from actual by authored child index, not shared node identity.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  61f2130
- Type the shared-callee rewrite over List<Edge> so label and target resolve.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  397f53d
- Walk shared-callee child edges by Cons so Edge fields stay typed.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  6814edc
- Walk shared-callee edges with fold so Edge is the fold element, not Cons T.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9f91471
- Call kernel fold on Node.children; v2.std.algebra does not export it.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3ec6ded
- Pass the authored actual index as Int so the Absent Optional arm is not emitted.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f61ce99
- Type a lambda actual from preceding actuals only, not from the outer frame's instances.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  81f0f10
- Index application pairs and mint binder rows through named typed fold steps.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9269623
- Supply the lef_* infer trees instead of assembling source.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f3a7a6c
- Refuse a lambda actual while its generic formal still names an unfixed T.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c1f4f0e
- Drop the row-time formal/actual rebuild that gather already ran.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  925f980
- Keep unresolved formals Absent through actuals so the row can count them.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  08c59ce
- Make the value-then-lambda green require n derived as the instantiated formal.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  06ae7d6
- Keep an unfixed-T lambda actual counted-undecidable, not refused.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  efdbf7b
- Count an unfixed-T lambda actual as UndecidableGenericFormal.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b5c3762
- Index application pairs with list_at_optional and drop the unused L-to-R helper.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5a37cb4
- Require an Arrow formal before peeling a lambda's expected domain.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9abb2bb
- Type a lambda from a fixed domain even when another type parameter is still free.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  09e66c9
- Walk unfixed-param mentions through a named fold acc, not a capturing any.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ca087b0
- Carry the atom identity on the unfixed-param fold acc.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3f982bb
- Ask type_params only after the expected formal is an Arrow.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ec00daf
- Revert the domain-unfixed-param binder gate that type-errored infer.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2667e01

Commits

Commits on Oct 9, 2026