Code

Abolish Shape#747

Code

Merged

hannobraun merged 8 commits intomainhannobraun/fornjot:mainfrom shapehannobraun/fornjot:shapeCopy head branch name to clipboardJun 29, 2022

+57-635

Commits

Commits on Jun 29, 2022

• Generalize ObjectIters implementation

  Show description for ecf4202
  hannobraun

  committed
  ecf4202

• Update comment

  hannobraun

  committed
  9829f70

• Refactor test to work without Shape

  hannobraun

  committed
  0f4a114

• Remove implementation of ObjectIters for Shape

  Show description for 43c6a56
  hannobraun

  committed
  43c6a56

• Simplify LocalForm::canonical

  hannobraun

  committed
  4646102

• Remove unnecessary Object bound

  hannobraun

  committed
  7ab165a

• Remove unnecessary use of Shape

  hannobraun

  committed
  a402172

• Remove Shape and supporting infrastructure

  hannobraun

  committed
  eb72149