diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/vector_synonym_cast.sail | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/typecheck/pass/vector_synonym_cast.sail b/test/typecheck/pass/vector_synonym_cast.sail new file mode 100644 index 00000000..72a7e9d0 --- /dev/null +++ b/test/typecheck/pass/vector_synonym_cast.sail @@ -0,0 +1,8 @@ + +typedef vecsyn = vector<0,1,dec,bit> + +val cast vector<1,1,dec,bit> -> vector<0,1,dec,bit> effect pure test_cast + +val vector<1,1,dec,bit> -> vecsyn effect pure test + +function test x = x |