GaloisInc / daedalus

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

daedalus: add a GetOptException handler to the command-line tool #298

Closed jtdaugherty closed 1 year ago

jtdaugherty commented 1 year ago

This makes a command like

daedalus compile-hs foo.ddl

go from producing

GetOptException ["Generating a parser executable requires an output directory"]

to producing

Error: Generating a parser executable requires an output directory