Code

Get rid of most generated variables#1679

Code

Merged

yannham merged 21 commits intomastertweag/nickel:masterfrom optimization/internal-closuretweag/nickel:optimization/internal-closureCopy head branch name to clipboardOct 16, 2023

+999-998

Commits

Commits on Oct 16, 2023

• add Closure node to AST

  yannham

  committed
  8ad1227

• Implement non-looping partial eq for Term

  yannham

  committed
  08a2ba4

• Fix contracts app

  yannham

  committed
  1d105ef

• Use closure within records as well everywhere

  yannham

  committed
  4894518

• Fix double closurization

  yannham

  committed
  23cbe94

• Fix subst to update closurized attrs

  yannham

  committed
  a1d9367

• Fix type eq for closures

  yannham

  committed
  ccc5896

• More typecheck eq

  yannham

  committed
  ae0784e

• More work + formatting

  yannham

  committed
  5f35327

• Get rid of share normal form + move Closurize to dedicated mod

  yannham

  committed
  5349d1c

• Accept new snapshots (error msg less noisy)

  yannham

  committed
  66511de

• Fix compilation warnings

  yannham

  committed
  c4e7c71

• Fix various small TODOs left

  yannham

  committed
  44e5e88

• Cleaning comments and debug println

  yannham

  committed
  6a92fb0

• Update documentation for new closurize approach

  yannham

  committed
  b0e85d5

• Apply suggestions from code review

  Show description for 2b1a00c
  

  yannham

  and

  jneem

  committed
  2b1a00c

• Update core/src/closurize.rs

  Show description for eaefc58
  

  yannham

  and

  jneem

  committed
  eaefc58

• Fix various code comments

  yannham

  committed
  03be479

• Post-rebase fixup

  yannham

  committed
  d2557aa

• Formatting + post-rebase fixup

  yannham

  committed
  2870517

• Restore array contract dedup fix messed up by rebases

  yannham

  committed
  8fcc151