Code

Use DeBruijn levels in SExpr0.#11987

Code

Merged

nickchapman-da merged 1 commit intomaindigital-asset/daml:mainfrom nick-db-levels-for-sexpr0digital-asset/daml:nick-db-levels-for-sexpr0Copy head branch name to clipboardDec 9, 2021

+81-97

Commits

Commits on Dec 9, 2021

• Move to using DB-levels (not DB-indexes) in SExpr0. This change includes both index and level, and performs a runtime check.

  Show description for 1783596
  nickchapman-da

  committed
  1783596