diff options
| author | Sidney Congard | 2022-07-25 14:22:52 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-07-25 14:22:52 +0200 |
| commit | fe7949c350bb3c5e2b9990ab3594b256194c3f0b (patch) | |
| tree | e96e933ffcfce797b54800b070769150b1ddb9e0 /src/LlbcAst.ml | |
| parent | f9b324be57708e9496ca6e9ac0b7e68ffd9e7108 (diff) | |
Apply minor changes from PR comments
Diffstat (limited to '')
| -rw-r--r-- | src/LlbcAst.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/LlbcAst.ml b/src/LlbcAst.ml index aa9b0665..94566f9b 100644 --- a/src/LlbcAst.ml +++ b/src/LlbcAst.ml @@ -37,7 +37,7 @@ type assumed_fun_id = type fun_id = Regular of FunDeclId.id | Assumed of assumed_fun_id [@@deriving show, ord] -type assign_global = { +type global_assignment = { dst : VarId.id; global : GlobalDeclId.id; } @@ -84,7 +84,7 @@ class ['self] iter_statement_base = object (_self : 'self) inherit [_] VisitorsRuntime.iter - method visit_assign_global : 'env -> assign_global -> unit = fun _ _ -> () + method visit_global_assignment : 'env -> global_assignment -> unit = fun _ _ -> () method visit_place : 'env -> place -> unit = fun _ _ -> () @@ -108,7 +108,7 @@ class ['self] map_statement_base = object (_self : 'self) inherit [_] VisitorsRuntime.map - method visit_assign_global : 'env -> assign_global -> assign_global = fun _ x -> x + method visit_global_assignment : 'env -> global_assignment -> global_assignment = fun _ x -> x method visit_place : 'env -> place -> place = fun _ x -> x @@ -131,7 +131,7 @@ class ['self] map_statement_base = type statement = | Assign of place * rvalue - | AssignGlobal of assign_global + | AssignGlobal of global_assignment | FakeRead of place | SetDiscriminant of place * VariantId.id | Drop of place |