diff options
| author | Son Ho | 2022-10-26 10:12:03 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-26 10:42:07 +0200 |
| commit | 7d6e7a5608327d24bf8574bda53dc031d3b91140 (patch) | |
| tree | f13ed45792a440a75a9cdd54aa0b76d28854d687 /src/PrePasses.ml | |
| parent | 7f2f06918e9326138097bc91a8cf1eb7a0af2a9d (diff) | |
Add meta data with code locations to the various definitions
Diffstat (limited to 'src/PrePasses.ml')
| -rw-r--r-- | src/PrePasses.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/PrePasses.ml b/src/PrePasses.ml index 3159907e..cd14c398 100644 --- a/src/PrePasses.ml +++ b/src/PrePasses.ml @@ -31,12 +31,12 @@ let filter_drop_assigns (f : A.fun_decl) : A.fun_decl = inherit [_] A.map_statement as super method! visit_Sequence env st1 st2 = - match (st1, st2) with + match (st1.content, st2.content) with | Drop p1, Assign (p2, _) -> - if p1 = p2 then self#visit_statement env st2 + if p1 = p2 then (self#visit_statement env st2).content else super#visit_Sequence env st1 st2 - | Drop p1, Sequence (Assign (p2, _), _) -> - if p1 = p2 then self#visit_statement env st2 + | Drop p1, Sequence ({ content = Assign (p2, _); meta = _ }, _) -> + if p1 = p2 then (self#visit_statement env st2).content else super#visit_Sequence env st1 st2 | _ -> super#visit_Sequence env st1 st2 end |