`scilla-checker`: Use JSON output format for type checking errors
jubnzv opened this issue · comments
Georgiy Komarov commented
Currently, scilla-check
cannot return typechecker warnings in JSON format.
We need this feature to write unit tests for contracts that don't pass type checking. This will allow us to test type checking errors in the imperative part of Scilla.
The problem is that we exit from the checker function here before generating a JSON from warnings here.