diff options
| author | Brian Campbell | 2019-06-10 17:53:58 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-10 17:53:58 +0100 |
| commit | 3eadd260f7382f98eb7dcbd706a3ed3e910167eb (patch) | |
| tree | ab2d8fec7c2c765abc6af3954c8694bab30a707e /src/return_analysis.ml | |
| parent | 534b659d7acccabe7219dc3773f6b09d612bbd86 (diff) | |
Add well-formedness check for type schemes in valspecs.
Fixes #47.
Also adjust the nexp substitution so that the error message points to a
useful location, and replace the empty environment with the initial
environment in a few functions that do type checking to ensure that the
prover is set up (which may be needed for the wf check).
Diffstat (limited to 'src/return_analysis.ml')
0 files changed, 0 insertions, 0 deletions