diff options
| author | Son Ho | 2022-05-15 22:34:31 +0200 |
|---|---|---|
| committer | Son Ho | 2022-05-15 22:34:31 +0200 |
| commit | ffc93a3f4d3b29e3a6805f9882f20dd22d184939 (patch) | |
| tree | 79013f1f1cb001409a1fffe526c2a27bd0ebc28b /src/PrePasses.ml | |
| parent | a25d820b6eb02f573ad2c274a35e3496a9dacd40 (diff) | |
Add a pass to cleanup the deconstructed ADTs and fix a small issue
Diffstat (limited to 'src/PrePasses.ml')
| -rw-r--r-- | src/PrePasses.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/PrePasses.ml b/src/PrePasses.ml index dda3c867..c9d496ea 100644 --- a/src/PrePasses.ml +++ b/src/PrePasses.ml @@ -23,6 +23,7 @@ let log = L.pre_passes_log *x = move ...; ``` + TODO: this is not necessary anymore *) let filter_drop_assigns (f : A.fun_decl) : A.fun_decl = (* The visitor *) |