Code

Refactor parser#181

Code

Merged

BinderDavid merged 6 commits intomainpolarity-lang/polarity:mainfrom refactor-parserpolarity-lang/polarity:refactor-parserCopy head branch name to clipboardApr 17, 2024

+653-331

Commits

Commits on Apr 16, 2024

• Refactor parser and bump lalrpop to 0.20

  BinderDavid

  committed
  bdf24a0

  Copy full SHA for bdf24a0

• Split cst into cst::exp and cst::decls

  BinderDavid

  committed
  b4466f7

  Copy full SHA for b4466f7

• Factor out the constituents of cst::Exp

  Show description for 0eba5b0
  BinderDavid

  committed
  0eba5b0

  Copy full SHA for 0eba5b0

• Split lowering of cst::Exp into multiple impls

  BinderDavid

  committed
  774bf4f

  Copy full SHA for 774bf4f

• Remove ParamInst and Telescope from CST

  BinderDavid

  committed
  cb548cf

  Copy full SHA for cb548cf

Commits on Apr 17, 2024

• Apply suggestions from code review

  Show description for 9863cd2
  

  BinderDavid

  and

  timsueberkrueb

  authored
  9863cd2

  Copy full SHA for 9863cd2