diff options
| author | Brian Campbell | 2018-05-04 16:12:28 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-04 16:12:28 +0100 |
| commit | 09bfbe239b1b5d8627f84a8115cfaf9f83114ba5 (patch) | |
| tree | c9da4b4418d9a19982a3053849b2c04266806342 /src/lem_interp/run_interp.ml | |
| parent | 1653f1816406f9b70de66f9b2427df71f1c5a1a2 (diff) | |
Fix mono cast introduction to avoid a checking to inference change
Adds return type to pattern so that the original function body is still
type checked, rather than switching to type inference which may fail.
Diffstat (limited to 'src/lem_interp/run_interp.ml')
0 files changed, 0 insertions, 0 deletions