refactor(syntax): replace ecmasl dynamic types with smtml.ty

ECMA-SL/semantics/core/concrete/interpreter.ml

@@ -111,8 +111,8 @@ module M (Instrument : Instrument.M) = struct
       (* TODO:x should change?*)
       Random.self_init ();
       match t with
-      | Type.IntType -> Value.Int (Random.int 128)
-      | Type.FltType -> Value.Real (Random.float 128.0)
+      | Type.Ty_int -> Value.Int (Random.int 128)
+      | Type.Ty_real -> Value.Real (Random.float 128.0)
       | _ -> Log.fail "not implemented: symbolic %a" Type.pp t )
 
   and eval_expr (state : state) (e : Expr.t) : Value.t =

ECMA-SL/semantics/core/functorial/symbolic_value.ml

@@ -224,22 +224,6 @@ module M = struct
       fun vs -> E.(make (List vs))
     | ArrayExpr -> assert false
 
-  let eval_type (t : Type.t) =
-    let open Ty in
-    match t with
-    | NullType -> Log.fail "eval_type null"
-    | IntType -> Ty_int
-    | FltType -> Ty_real
-    | StrType -> Ty_str
-    | BoolType -> Ty_bool
-    | SymbolType -> Log.fail "eval_type symbol"
-    | LocType -> Log.fail "eval_type loc"
-    | ArrayType -> Log.fail "eval_type array"
-    | ListType -> Ty_list
-    | TupleType -> Log.fail "eval_type tuple"
-    | TypeType -> Log.fail "eval_type type"
-    | CurryType -> Ty_app
-
   let rec eval_expr (store : store) (e : Expr.t) : value =
     match e.it with
     | Val v -> E.value v
@@ -270,7 +254,6 @@ module M = struct
       | _ -> Log.fail "error" )
     | Symbolic (t, x) -> (
       let x' = eval_expr store x in
-      let t = eval_type t in
       match E.view x' with
       | Val (Value.Str x') -> E.(make (Symbol (Symbol.make t x')))
       | _ -> Log.fail "error" )

ECMA-SL/syntax/share/type.ml

@@ -1,35 +1 @@
-open EslBase
-
-type t =
-  | NullType
-  | IntType
-  | FltType
-  | StrType
-  | BoolType
-  | SymbolType
-  | LocType
-  | ArrayType
-  | ListType
-  | TupleType
-  | TypeType
-  | CurryType
-
-let equal (t1 : t) (t2 : t) : bool = t1 = t2
-
-let pp (ppf : Fmt.t) (t : t) : unit =
-  let open Fmt in
-  match t with
-  | NullType -> pp_str ppf "__$Null"
-  | IntType -> pp_str ppf "__$Int"
-  | FltType -> pp_str ppf "__$Flt"
-  | StrType -> pp_str ppf "__$Str"
-  | BoolType -> pp_str ppf "__$Bool"
-  | SymbolType -> pp_str ppf "__$Symbol"
-  | LocType -> pp_str ppf "__$Obj"
-  | ArrayType -> pp_str ppf "__$Array"
-  | ListType -> pp_str ppf "__$List"
-  | TupleType -> pp_str ppf "__$Tuple"
-  | TypeType -> pp_str ppf "__$Type"
-  | CurryType -> pp_str ppf "__$Curry"
-
-let str (t : t) : string = Fmt.str "%a" pp t
+include Smtml.Ty