summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Values.ml152
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