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.
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.