Label Expressions

A label expression is a constant expression defined in terms of labels. MLRISC uses the type labexp to represent label expressions. Label expressions are defined in the structure LabelExp . The datatype labexp has the following definition:
  datatype labexp = 
      LABEL of Label.label
    | CONST of int
    | PLUS of labexp * labexp
    | MINUS of labexp * labexp
    | MULT of labexp * labexp
    | DIV of labexp * labexp
    | LSHIFT of labexp * word
    | RSHIFT of labexp * word
    | AND of labexp * word
    | OR of labexp * word
In addition, the following functions are defined in labexp:
Allen Leung

Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: E="-2"> <ADDRESS> <A HREF="">Allen Leung</A></ADDRESS> <BR> </BODY> </HTML>