summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2021-12-17 12:48:34 +0100
committerSon Ho2021-12-17 12:48:34 +0100
commit4c498a62391624425b05b99197b40fd992626ed5 (patch)
tree9ecee051d5aaf3a534eb7f315a8af8c1f4946fef /src
parent9247b2d398e64a4e2c320f5edb7a98d71b085668 (diff)
Rename some methods
Diffstat (limited to 'src')
-rw-r--r--src/Contexts.ml16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/Contexts.ml b/src/Contexts.ml
index f7bf9fa6..cf8817f7 100644
--- a/src/Contexts.ml
+++ b/src/Contexts.ml
@@ -192,17 +192,17 @@ class ['self] iter_frame =
inherit [_] V.iter_abs
(* TODO: remove "env_elem" from the name *)
- method visit_env_elem_Var : 'acc -> binder -> typed_value -> unit =
+ method visit_Var : 'acc -> binder -> typed_value -> unit =
fun acc vid v -> self#visit_typed_value acc v
- method visit_env_elem_Abs : 'acc -> abs -> unit =
+ method visit_Abs : 'acc -> abs -> unit =
fun acc abs -> self#visit_abs acc abs
method visit_env_elem : 'acc -> env_elem -> unit =
fun acc em ->
match em with
- | Var (vid, v) -> self#visit_env_elem_Var acc vid v
- | Abs abs -> self#visit_env_elem_Abs acc abs
+ | Var (vid, v) -> self#visit_Var acc vid v
+ | Abs abs -> self#visit_Abs acc abs
| Frame -> failwith "Unreachable"
method visit_env : 'acc -> env -> unit =
@@ -220,19 +220,19 @@ class ['self] map_frame_concrete =
object (self : 'self)
inherit [_] V.map_abs
- method visit_env_elem_Var : 'acc -> binder -> typed_value -> env_elem =
+ method visit_Var : 'acc -> binder -> typed_value -> env_elem =
fun acc vid v ->
let v = self#visit_typed_value acc v in
Var (vid, v)
- method visit_env_elem_Abs : 'acc -> abs -> env_elem =
+ method visit_Abs : 'acc -> abs -> env_elem =
fun acc abs -> Abs (self#visit_abs acc abs)
method visit_env_elem : 'acc -> env_elem -> env_elem =
fun acc em ->
match em with
- | Var (vid, v) -> self#visit_env_elem_Var acc vid v
- | Abs abs -> self#visit_env_elem_Abs acc abs
+ | Var (vid, v) -> self#visit_Var acc vid v
+ | Abs abs -> self#visit_Abs acc abs
| Frame -> failwith "Unreachable"
method visit_env : 'acc -> env -> env =