diff options
| author | Peter Sewell | 2017-01-25 15:01:27 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-01-25 15:01:27 +0000 |
| commit | b357733fefdbbbdd4efa56c8b3ddc6bcbeca4c28 (patch) | |
| tree | 8b5417d74da0c0d1280eceb8fcef4af71a5250bf /src/lem_interp/interp_lib.lem | |
| parent | c588e96bd15572d929d2f957b2a9b2ac86814c0a (diff) | |
| parent | 2968c83f019b6945ac06a6faf8aaf518e92bdc29 (diff) | |
Merge branch 'master' of bitbucket.org:Peter_Sewell/sail
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 9d339d25..3d354774 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -345,6 +345,8 @@ let eq_vec v = List.listEqualBy (fun v1 v2 -> match eq (V_tuple [v1; v2]) with V_lit (L_aux L_one _) -> true | _ -> false end) c1s c2s then V_lit (L_aux L_one Unknown) + else if has_unknown v1 || has_unknown v2 + then V_unknown else V_lit (L_aux L_zero Unknown) | (V_unknown, _) -> V_unknown | (_, V_unknown) -> V_unknown |