GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
63 stars 11 forks source link

Calls to non-failing parsers need not check if the parser succeeded #338

Open yav opened 1 year ago

yav commented 1 year ago

We should add another calling convention to VM to handle this case