Repository navigation

Type a let-bound lambda at its arrow; bind a CallableOf return to an arrow's return (#12143 items 5+6) - #12235

Merged

gunbai-bot[bot] merged 12 commits into

mainfrom

session/nimble-wolf-724

Sep 25, 2026

Merged

Type a let-bound lambda at its arrow; bind a CallableOf return to an arrow's return (#12143 items 5+6)#12235
gunbai-bot[bot] merged 12 commits into
mainfrom
session/nimble-wolf-724

Commits on Sep 24, 2026
- Type a let-bound lambda at its arrow; bind a CallableOf return to an arrow's return (items 5+6 of function_typed_argument_mismatch_accepted)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  027dbf5
- unify_template: match on the connective (if x == Variant { parses as a record literal)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7c84f44
- Move annotations to module-item grain
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d14f059
- Regenerate v1_compiler_infer{,_types}.rs mirrors (fixed point verified at byte grain)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  35262fc
- MUTATION (to be reverted): revert the fix, keep the claims — the new REDs must fail on the floor
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6df7dfc
- Revert the mutation: restore the fix (mutation floor run 36025711081 showed the REDs failing)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8dab640
- Ledger: name the discriminating RED for the map-callback repair (the accepted cells are controls)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fb888a5
- One-sided arm: an arrow's own open leaves do not hide its function-ness; only an open non-arrow side is unjudged
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d36b6a0
- Regenerate v1_compiler_infer.rs mirror (fixed point verified at byte grain)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5d33d08
- Ledger: path (5) one-sided sub-case now judged
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d478722
- Merge origin/main (mirror regenerated in the next commit)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  38296e8
- Regenerate v1_compiler_infer.rs over the merge (full fixed point: first_generation_equal=true)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7573b6e

Commits

Commits on Sep 24, 2026