Skip to content

Tagless final encoding of `ExpCmdI` in the parser

Vladislav Zavialov requested to merge wip/tagless-parser into master

Before this change, we used a roundabout encoding:

  1. a GADT (ExpCmdG)
  2. a class to pass it around (ExpCmdI)
  3. helpers to match on it (ecHsApp, ecHsIf, ecHsCase, ...)

It is more straightforward to turn these helpers into class methods, removing the need for a GADT.

Merge request reports