diff options
| author | Kathy Gray | 2016-04-19 14:38:18 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-04-19 14:38:27 +0100 |
| commit | a465bfc4984c035aa4b1a185c1791b1f081e5baa (patch) | |
| tree | 5b753af287ff3fdf64ece6feaa6d8a07a0b610d6 | |
| parent | fce7f41ae363d024ae2788f55ef2e2890c246e57 (diff) | |
Make value treatment on memory write calls uniform for function call vs assignment expression
| -rw-r--r-- | src/lem_interp/interp.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index dc787b5b..4fa4c128 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -2079,6 +2079,7 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) = else if has_wmem_effect effects then let (wv,v) = match v with + | V_tuple [p;v] -> (v,p) | V_tuple params_list -> let reved = List.reverse params_list in (List_extra.head reved,V_tuple (List.reverse (List_extra.tail reved))) |