diff options
| author | Jon French | 2017-07-24 18:23:39 +0100 |
|---|---|---|
| committer | Jon French | 2017-07-24 18:24:08 +0100 |
| commit | 4e39660b7fd27272b5a6546b4f64e2816ea9c372 (patch) | |
| tree | a4ba3f38f7f10a4ab30326914be7624ccfc5c25e /src/lem_interp/interp_interface.lem | |
| parent | aa08c004b613d11b4e3d6b8909c06eec5cee5b86 (diff) | |
vector parts of interpreter now evaluate all arguments of expression before exiting due to one of them being unknown; fixes incorrect exhaustive analysis for footprints
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions