Errors are somewhat ad-hoc at the moment. Some are merely printed to the screen and others are panics with less-than-helpful descriptions. We should provide a Vamp-IR error enum that handles errors and gives more helpful descriptions.
Error classes:
parsing errors (missing or extraneous semicolons, etc)
type errors (unused variables, type mismatches, etc)
proving/verifying errors from backend (setup not large enough, verification failed, etc)
Errors are somewhat ad-hoc at the moment. Some are merely printed to the screen and others are panics with less-than-helpful descriptions. We should provide a Vamp-IR error enum that handles errors and gives more helpful descriptions.
Error classes: