X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/2ab9671fde5297fc59583361f152e812e66c2d17..a644da892dbd55a7be1aed029dafebe28d26d27e:/parse/ast.sml?ds=inline diff --git a/parse/ast.sml b/parse/ast.sml index ce756ab..9645f6a 100644 --- a/parse/ast.sml +++ b/parse/ast.sml @@ -38,6 +38,7 @@ sig datatype exp = Var of ident + | Cast of Type.vtype * exp | ConstExp of Word32.word | StringExp of string | OpExp of oper * exp list @@ -109,6 +110,7 @@ struct datatype exp = Var of ident + | Cast of Type.vtype * exp | ConstExp of Word32.word | StringExp of string | OpExp of oper * exp list @@ -172,6 +174,7 @@ struct | pp_oper GE = ">=" fun pp_exp (Var(id)) = pp_ident id + | pp_exp (Cast(ty, exp)) = "["^(Type.Print.pp_type ty)^"]"^(pp_exp exp) | pp_exp (ConstExp(c)) = Word32Signed.toString c | pp_exp (StringExp(s)) = "\"" ^ s ^ "\"" | pp_exp (OpExp(oper, [e])) =