Code

Refactor syntax crate#175

Code

Merged

BinderDavid merged 6 commits intomainpolarity-lang/polarity:mainfrom refactor-syntax-cratepolarity-lang/polarity:refactor-syntax-crateCopy head branch name to clipboardApr 9, 2024

+629-588

Commits

Commits on Apr 8, 2024

• Split Forget trait into ForgetNF and ForgetTST traits.

  BinderDavid

  committed
  0499a11

  Copy full SHA for 0499a11

• Move trees/forget/tst.rs to trees/tst/forget.rs

  BinderDavid

  committed
  d3eb344

  Copy full SHA for d3eb344

• Make Named trait a part of generic trees

  BinderDavid

  committed
  b8a82af

  Copy full SHA for b8a82af

• Move Label to trees/generic/def.rs

  BinderDavid

  committed
  d0abb8b

  Copy full SHA for d0abb8b

• Make Ident a part of generic ASTs

  BinderDavid

  committed
  93fb778

  Copy full SHA for 93fb778

• Remove unused implementation of alpha_eq

  BinderDavid

  committed
  c87cdc2

  Copy full SHA for c87cdc2