Extend language to support register aliases and to support interrupts, traps and the like.

1 files changed, 5 insertions, 0 deletions

diff --git a/language/l2_parse.ott b/language/l2_parse.ott
index a655959d..9785290f 100644
--- a/language/l2_parse.ott
+++ b/language/l2_parse.ott
@@ -521,6 +521,8 @@ exp :: 'E_' ::=
   | exp := exp'                                      :: :: assign
     {{ com imperative assignment }}
 
+  | exit exp						:: :: exit
+
   | ( exp )                                             :: S :: paren {{ ichlo [[exp]] }}
 
 
@@ -723,6 +725,9 @@ dec_spec :: 'DEC_' ::=
   {{ com Register declarations }}
   {{ aux _ l }}
   | register atyp id                                             :: :: reg
+  | register alias id = exp	      	 			 :: :: alias
+  | register alias atyp id = exp	  			 :: :: typ_alias
+
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Top-level definitions                                        %