diff options
| author | Son Ho | 2022-02-23 19:18:33 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-23 19:18:33 +0100 |
| commit | ddd0a57c73d455ec1b5c704e66af22d4a713f8bb (patch) | |
| tree | c9c8ed0652158e36a6fa9520488f593e22f05b24 | |
| parent | 11934689a41f1ad7645fb5f43347c6138db3ebf8 (diff) | |
Make a minor modification
| -rw-r--r-- | src/PureMicroPasses.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml index 40a4be56..092e6b0d 100644 --- a/src/PureMicroPasses.ml +++ b/src/PureMicroPasses.ml @@ -420,7 +420,8 @@ let inline_useless_var_reassignments (inline_named : bool) (inline_pure : bool) * * Also: we can always substitute if we substitute with * a variable. If we substitute with a value we need to - * check the path is empty (TODO: actually do a projection) *) + * check that the path is empty. + * TODO: actually do a projection *) if is_var ne then let var = as_var ne in let p = { p with var } in @@ -438,7 +439,7 @@ let inline_useless_var_reassignments (inline_named : bool) (inline_pure : bool) | Some ne -> ( (* Substitute if the new expression is a value *) match ne.e with - | Value (nv, _) -> super#visit_rvalue env nv.value + | Value (nv, _) -> self#visit_rvalue env nv.value | _ -> (* Not a value *) super#visit_RvPlace env p) else (* TODO: project *) super#visit_RvPlace env p |