diff options
| author | Thomas Bauereiss | 2020-02-24 19:34:02 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-02-24 20:43:10 +0000 |
| commit | 65228f7ea61535fa8961dcb8ce8f030e7359c479 (patch) | |
| tree | b5b6e975bbdbd0ae47f428b29caa69c62db85ab3 /test/typecheck | |
| parent | f75f4b66028305d77205fe0f8ef0aa78c8660ada (diff) | |
Allow overloading of subrange builtins for non-bitvectors
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/pass/reg_32_64/v3.expect | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/test/typecheck/pass/reg_32_64/v3.expect b/test/typecheck/pass/reg_32_64/v3.expect index cea45127..6de59040 100644 --- a/test/typecheck/pass/reg_32_64/v3.expect +++ b/test/typecheck/pass/reg_32_64/v3.expect @@ -1,10 +1,12 @@ Type error: -[[96mreg_32_64/v3.sail[0m]:29:15-21 +[[96mreg_32_64/v3.sail[0m]:29:2-27 29[96m |[0m reg_deref(R)['d - 1 .. 0] - [91m |[0m [91m^----^[0m - [91m |[0m No overloading for (operator -), tried: - [91m |[0m [94m*[0m sub_atom - [91m |[0m Cannot re-write sizeof('d) - [91m |[0m [94m*[0m sub_int - [91m |[0m Cannot re-write sizeof('d) + [91m |[0m [91m^-----------------------^[0m + [91m |[0m No overloading for vector_subrange, tried: + [91m |[0m [94m*[0m subrange_bits + [91m |[0m No overloading for (operator -), tried: + [91m |[0m [94m*[0m sub_atom + [91m |[0m Cannot re-write sizeof('d) + [91m |[0m [94m*[0m sub_int + [91m |[0m Cannot re-write sizeof('d) [91m |[0m |