Repository navigation

v1 infer: a function value is judged against a declared function type (arrow arm) - #12143

Merged

briansrls merged 11 commits into

mainfrom

session/neat-ibex-861

Sep 24, 2026

Merged

v1 infer: a function value is judged against a declared function type (arrow arm)#12143
briansrls merged 11 commits into
mainfrom
session/neat-ibex-861

Commits on Sep 23, 2026
- v1 infer: a function value is judged against a declared function type (arrow arm)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8345e7c
- stage0 mirror: regenerate v1_compiler_infer for the arrow arm (only this hunk)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bdd8ef5
- v1 infer: exact arrow judgment closes nullary, polymorphic, one-sided and depth walls; row merged into function_typed_argument_mismatch_accepted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4cffcaf
- v1 infer: a lambda's value type is its arrow; one-sided judgment only where the value expression is in hand
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7cf8920
- v1 infer: lambda value type minted over its param children; a parameter's arrow or type variable is read as itself
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  651c6bd
- v1 types: a callback argument's return is read from its arrow at the method seam (xs |> map(named_fn) element type)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  04641c4
- v1 infer: function-boundary judgment decides callability by the arrow connective; a local value is not judged one-sided
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fd52bfd
- v1 infer: local-value test in the seed's two-step binding-kind idiom; stage0 mirror regenerated (only these hunks); row updated
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7ac885d
- Withdraw the unify_template callback-return repair: no discriminating consumer once locals are unjudged; recorded as a separate latent class with its trigger
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ef850d0
- Merge remote-tracking branch 'origin/main' into session/neat-ibex-861
  gunbc-ci-auto-heal
  committed
  a608c8c
- Failure-mode row: class rung stays below the ladder; rung 3 is stated per path (review 70637)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  db859d1

Commits

Commits on Sep 23, 2026