Skip to content

Update schema & tests, combine scripts#3

Open
NatKarmios wants to merge 4 commits intohackwaly:masterfrom
GillianPlatform:update
Open

Update schema & tests, combine scripts#3
NatKarmios wants to merge 4 commits intohackwaly:masterfrom
GillianPlatform:update

Conversation

@NatKarmios
Copy link

I've updated some things, including:

  • Fixed the expect tests (as ppx_expect has changed quite a bit)
  • Tweaked the ml/mli generation scripts to handle the newer DAP schema
  • Combined both generation scripts to a single script, as the vast majority is the same

Resolves #2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The gen_protocol_ml*.js scripts die with assertion failures

1 participant