diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/vectors.sail | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index 910ca329..8940eaad 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -28,8 +28,9 @@ function bit main _ = { gpr_small[1] := v3; (*Writes to slice_check*) slice_check_copy := gpr_small[1]; - (* check that cast are still inserted for function calls *) - result := gpr_small[1] + gpr_small[1]; + (* check that cast are inserted inside function calls (here +), and that the + previous assignment (to slice_check_copy) got the correct cast *) + result := gpr_small[1] + slice_check_copy; (* idem with type inference for return type *) fresh_var := gpr_small[1] + gpr_small[1]; (* id function call - prevents the correct cast currently *) |