Define (some) semantic errors

[tiger.ml.git] / compiler / src / lib / tiger / tiger_absyn.ml

diff --git a/compiler/src/lib/tiger/tiger_absyn.ml b/compiler/src/lib/tiger/tiger_absyn.ml
index 6e4a7e9..73a081a 100644 (file)
--- a/compiler/src/lib/tiger/tiger_absyn.ml
+++ b/compiler/src/lib/tiger/tiger_absyn.ml
@@ -175,6 +175,21 @@ and fundec =
 
 type t = exp
 
+(* For printing error messages *)
+let op_show op =
+  match op with
+  | PlusOp   -> "+"
+  | MinusOp  -> "-"
+  | TimesOp  -> "*"
+  | DivideOp -> "/"
+  | EqOp     -> "="
+  | NeqOp    -> "<>"
+  | LtOp     -> "<"
+  | LeOp     -> "<="
+  | GtOp     -> ">"
+  | GeOp     -> ">="
+
+(* For printing AST *)
 let op_to_string op =
   match op with
   | PlusOp   -> "PlusOp"