X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/469e60eb4974bf3fc47cfa5b9a33b14983bec135..e63d3705454c62fd1eff1c0c9cd78f042e621fbc:/parse/ast.sml 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])) =