From 708699375b9e14f2e0a9f92f1a3fe2e61cd7a306 Mon Sep 17 00:00:00 2001 From: Son Ho Date: Mon, 6 Dec 2021 16:46:36 +0100 Subject: Cleanup a bit --- src/Values.ml | 152 ---------------------------------------------------------- 1 file changed, 152 deletions(-) (limited to 'src/Values.ml') diff --git a/src/Values.ml b/src/Values.ml index 68d9aa7e..72d5c948 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -135,158 +135,6 @@ and ('r, 'sv, 'bc, 'lc) g_typed_value = { concrete = true; }] -(*class ['self] map_g_typed_value = - object (self : 'self) - inherit [_] VisitorsRuntime.map - - inherit [_] map_'r_ty_base - - method visit_Concrete - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - _ -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_c0 -> - let _visitors_r0 = - (fun _visitors_this -> _visitors_this) _visitors_c0 - in - Concrete _visitors_r0 - - method visit_Adt - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - ('r_0, 'sv_0, 'bc_0, 'lc_0) g_adt_value -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_c0 -> - let _visitors_r0 = - self#visit_g_adt_value visit_'r visit_'sv visit_'bc visit_'lc env - _visitors_c0 - in - Adt _visitors_r0 - - method visit_Bottom - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env -> Bottom - - method visit_Borrow - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - 'bc_0 -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_c0 -> - let _visitors_r0 = visit_'bc env _visitors_c0 in - Borrow _visitors_r0 - - method visit_Loan - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - 'lc_0 -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_c0 -> - let _visitors_r0 = visit_'lc env _visitors_c0 in - Loan _visitors_r0 - - method visit_Symbolic - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - 'sv_0 -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_c0 -> - let _visitors_r0 = visit_'sv env _visitors_c0 in - Symbolic _visitors_r0 - - method visit_g_value - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - ('r_0, 'sv_0, 'bc_0, 'lc_0) g_value -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_this -> - match _visitors_this with - | Concrete _visitors_c0 -> - self#visit_Concrete visit_'r visit_'sv visit_'bc visit_'lc env - _visitors_c0 - | Adt _visitors_c0 -> - self#visit_Adt visit_'r visit_'sv visit_'bc visit_'lc env - _visitors_c0 - | Bottom -> self#visit_Bottom visit_'r visit_'sv visit_'bc visit_'lc env - | Borrow _visitors_c0 -> - self#visit_Borrow visit_'r visit_'sv visit_'bc visit_'lc env - _visitors_c0 - | Loan _visitors_c0 -> - self#visit_Loan visit_'r visit_'sv visit_'bc visit_'lc env - _visitors_c0 - | Symbolic _visitors_c0 -> - self#visit_Symbolic visit_'r visit_'sv visit_'bc visit_'lc env - _visitors_c0 - - method visit_g_adt_value - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - ('r_0, 'sv_0, 'bc_0, 'lc_0) g_adt_value -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_adt_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_this -> - let _visitors_r0 = - (fun _visitors_this -> _visitors_this) _visitors_this.variant_id - in - let _visitors_r1 = - self#visit_list - (self#visit_g_typed_value visit_'r visit_'sv visit_'bc visit_'lc) - env _visitors_this.field_values - in - { variant_id = _visitors_r0; field_values = _visitors_r1 } - - method visit_g_typed_value - : 'env 'r_0 'r_1 'sv_0 'sv_1 'bc_0 'bc_1 'lc_0 'lc_1. - ('env -> 'r_0 -> 'r_1) -> - ('env -> 'sv_0 -> 'sv_1) -> - ('env -> 'bc_0 -> 'bc_1) -> - ('env -> 'lc_0 -> 'lc_1) -> - 'env -> - ('r_0, 'sv_0, 'bc_0, 'lc_0) g_typed_value -> - ('r_1, 'sv_1, 'bc_1, 'lc_1) g_typed_value = - fun visit_'r visit_'sv visit_'bc visit_'lc env _visitors_this -> - let _visitors_r0 = - self#visit_g_value visit_'r visit_'sv visit_'bc visit_'lc env - _visitors_this.value - in - let _visitors_r1 = self#visit_ty visit_'r env _visitors_this.ty in - { value = _visitors_r0; ty = _visitors_r1 } - end*) - class ['self] iter_typed_value_base = object (self : 'self) inherit [_] iter_g_typed_value -- cgit v1.2.3