Cleanup a bit

1 files changed, 0 insertions, 152 deletions

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