Code

Generate visitors automatically#698

Code

Merged

W95Psp merged 8 commits intomainhacspec/hax:mainfrom generate-visitorshacspec/hax:generate-visitorsCopy head branch name to clipboardJul 10, 2024

+789-3,148

Commits

Commits on Jul 10, 2024

• feat(engine): intro ppx_generate_visitors

  W95Psp

  committed
  dd7be61

• feat(engine): derive visitors automatically

  W95Psp

  committed
  6970379

• chore(ocamlformat)

  W95Psp

  committed
  a619684

• update snapshot

  W95Psp

  committed
  5d31bc9

• fix(engine/generate_visitors): use Ppxlib_asts Parse

  

  Lucas Franceschino

  authored and

  W95Psp

  committed
  e8bd435

• doc(engine): explain how visitors are generated

  

  Lucas Franceschino

  authored and

  W95Psp

  committed
  66acb19

• fix(engine/utils): generate_visitors: open Ppx_yojson_conv_lib.Yojson_conv.Primitives

  W95Psp

  committed
  a6371f5

• doc(engine/utils): generate-visitors

  W95Psp

  committed
  0efd46c