funclang series4: Added basic version of assignment 10.

funclang-taddeus/series4/ass10.ml

+type arithOp =
+    Plus of int * int
+    | Minus of int * int
+    | Times of int * int
+    | Divide of int * int
+    | Modulo of int * int
+
+type relOp =
+    EQ of int * int
+    | NEQ of int * int
+    | LT of int * int
+    | LTE of int * int
+    | GT of int * int
+    | GTE of int * int
+
+type logicOp =
+    AND of bool * bool
+    | OR of bool * bool
+
+type binOp =
+    ArithOp of arithOp
+    | RelOp of relOp
+    | LogicOp of logicOp
+
+type monOp =
+    UnaryMinus of int
+    | Negation of bool
+
+type const =
+    BoolConst of bool
+    | IntConst of int
+
+type expr =
+    Enclosure of expr
+    | BinOp of expr * binOp * expr
+    | MonOp of monOp * expr
+    | Id of string
+    | Const of const
+
+let rec eval_expr =
+    let eval_binOp =
+        let eval_arithOp = function
+            Plus (a, b) -> "(" ^ (string_of_int a) ^ " + " ^ (string_of_int b)
+            | Minus (a, b) -> "(" ^ (string_of_int a) ^ " - "
+                ^ (string_of_int b) ^ ")"
+            | Times (a, b) -> "(" ^ (string_of_int a) ^ " * "
+                ^ (string_of_int b) ^ ")"
+            | Divide (a, b) -> "(" ^ (string_of_int a) ^ " / "
+                ^ (string_of_int b) ^ ")"
+            | Modulo (a, b) -> "(" ^ (string_of_int a) ^ " mod "
+                ^ (string_of_int b) ^ ")"
+        in
+        let eval_relOp = function
+            EQ (a, b) -> (string_of_int a) ^ " = " ^ (string_of_int b)
+            | NEQ (a, b) -> (string_of_int a) ^ " != " ^ (string_of_int b)
+            | LT (a, b) -> (string_of_int a) ^ " < " ^ (string_of_int b)
+            | LTE (a, b) -> (string_of_int a) ^ " <= " ^ (string_of_int b)
+            | GT (a, b) -> (string_of_int a) ^ " > " ^ (string_of_int b)
+            | GTE (a, b) -> (string_of_int a) ^ " >= " ^ (string_of_int b)
+        in
+        let eval_logicOp = function
+            AND (a, b) -> (string_of_bool a) ^ " && " ^ (string_of_bool b)
+            | OR (a, b) -> (string_of_bool a) ^ " || " ^ (string_of_bool b)
+        in
+        function
+        ArithOp op -> eval_arithOp(op)
+        | RelOp op -> eval_relOp(op)
+        | LogicOp op -> eval_logicOp(op)
+    in
+    let eval_monOp = function
+        UnaryMinus i -> "-" ^ string_of_int i
+        | Negation b -> "!" ^ string_of_bool b
+    in
+    let eval_const = function
+        IntConst i -> string_of_int i
+        | BoolConst b -> string_of_bool b
+    in
+    function
+    Enclosure e -> "(" ^ eval_expr(e) ^ ")"
+    | BinOp (e1, op, e2) -> eval_expr(e1) ^ eval_binOp(op) ^ eval_expr(e2)
+    | MonOp (op, e) -> eval_monOp(op) ^ eval_expr(e)
+    | Id id -> id
+    | Const c -> eval_const(c)