diff options
| author | Jon French | 2019-03-04 14:19:44 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-04 14:19:44 +0000 |
| commit | a7a3402ce155f13234d2d3e5198e5dbf6e0e8b82 (patch) | |
| tree | 73330f18dc9488d4ef424f6e0328b7fb7ddca983 /src/value.ml | |
| parent | 2e8e7c7ed813f3d8cdf94cdec57953511be5d814 (diff) | |
Type_check: make prover reference in env an option defaulting to None
Also:
* Rename add_prover to set_prover
* Make set_prover public
This is to support being able to marshal out typecheck envs.
RMEM (or other users) can temporarily set the prover reference to None
to avoid attempting to marshal a functional value, and then reset it
to Some (Type_check.prove ...) on unmarshalling.
Diffstat (limited to 'src/value.ml')
0 files changed, 0 insertions, 0 deletions