summaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
authorGabriel Kerneis2014-07-15 12:12:17 +0100
committerGabriel Kerneis2014-07-15 12:12:17 +0100
commit4eeefc3efc4eaa9396151347e78748b363e7dd77 (patch)
tree1c780d24441a9ce05af2aec49aadcb063e1d353b /src/test
parent4a76a82536abfb36cc4ceca743804e432438df3d (diff)
Add failing test for type of aliases
File "test/regbits.sail", line 23, character 3 to line 23, character 4 Type error: Can only assign to identifiers with type register or reg, found identifier CA with type bit
Diffstat (limited to 'src/test')
-rw-r--r--src/test/regbits.sail1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/test/regbits.sail b/src/test/regbits.sail
index 46343d67..0e6e0dea 100644
--- a/src/test/regbits.sail
+++ b/src/test/regbits.sail
@@ -20,6 +20,7 @@ function (bit[64]) main _ = {
XER.SO := 0;
query := CA;
query := Fo;
+ CA := query;
XER.FOOBAR := 0b11;
XER.FOOBAR := foobar;
XER }