Initial support for aliases and exit through the type system and the interpreter.

An alias can be read within the interpreter, but not written to. Exits aren't yet taken in the interpreter.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/test/regbits.sail b/src/test/regbits.sail
index ed2a95e0..46343d67 100644
--- a/src/test/regbits.sail
+++ b/src/test/regbits.sail
@@ -8,12 +8,19 @@
 register (xer) XER
 register (bit) query
 
+register alias CA = XER.CA
+register alias Fo = XER[35]
+register alias foobar = XER[35..36]
+
 function (bit[64]) main _ = {
   XER := 0b0101010101010101010101010101010101010101010101010101010101010010;
   f := XER;
   (bit[7]) foo := XER[57..63];
   query := XER.SO;
   XER.SO := 0;
+  query := CA;
+  query := Fo;
   XER.FOOBAR := 0b11;
+  XER.FOOBAR := foobar;
   XER }