Repository navigation

Evaluate partial application arguments once - #8936

Merged

cknitt merged 8 commits into

partial-application-args

Oct 21, 2026

Merged

Evaluate partial application arguments once#8936
cknitt merged 8 commits into
masterfrom
partial-application-args

Commits on Oct 20, 2026
- Evaluate partial application arguments once
  
  cknitt
  and
  claude
  committed
  4882045
Commits on Oct 21, 2026
- Bind closures and external values of partial applications too
  
  cknitt
  and
  claude
  committed
  be72a81
- Generalize a partial application only when its parts are values
  
  cknitt
  and
  claude
  committed
  42e741c
- Format is_nonexpansive
  
  cknitt
  and
  claude
  committed
  ecb2c66
- Bind allocating constants of partial applications too
  
  cknitt
  and
  claude
  committed
  885afb2
- Test the Lambda of partial applications
  
  cknitt
  and
  claude
  committed
  4ff19a3
- Count a nested None as an allocating constant
  
  cknitt
  and
  claude
  committed
  e25089d
- Keep top-level constant blocks out of the closure that captures them
  
  cknitt
  and
  claude
  committed
  9cb8b5e