diff options
| author | Kathy Gray | 2014-09-04 17:21:44 +0200 |
|---|---|---|
| committer | Kathy Gray | 2014-09-04 17:21:44 +0200 |
| commit | 02975528821da68fd2a015bbb3b065df658b2e5d (patch) | |
| tree | 4e757a7ee9791de85fa69663613df4d2fae01037 /src/test/test3.sail | |
| parent | 94b74382d01d3a731851abadfc3e3bcab6509fa4 (diff) | |
Refine overloading resolution with respect to vectors and ranges
Fix a few other bugs as well
Diffstat (limited to 'src/test/test3.sail')
| -rw-r--r-- | src/test/test3.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/test3.sail b/src/test/test3.sail index 98ebb2d6..5e9ba2df 100644 --- a/src/test/test3.sail +++ b/src/test/test3.sail @@ -48,7 +48,7 @@ function nat main _ = { (* extern calls *) dummy_reg := 3 + 39; - dummy_reg := (deinfix +)(5, 37); + (*dummy_reg := (deinfix +)(5, 37);*) (* casts and external calls *) dummy_reg := 0b01 + 0b01; dummy_reg2 := 0b00000001; |