| commit | 3f12c1cf464a3292f267f5fd18bef7cf2c1f6bc6 | |
| author | Michael Thomas <mjt@meta.com> | |
| Sun, 6 Nov 2022 17:44:29 +0000 (6 09:44 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Sun, 6 Nov 2022 17:44:29 +0000 (6 09:44 -0800) | ||
| tree | e84a7b14f82d93427c0b13527c15a1c0eb5b16d2 | treesnapshot (tar.gz zip) |
| parent | 5b00f1fd1de17f8cfc2e810b192b220eb0894797 | commitdiff |
Derive `mapreduce` visitor for the AAST
Summary:
`mapreduce` lets us `fold_map` over the AAST.
This is exactly what we want to do in a _validating elaboration phase_ such as naming where we rewrite hints to canonical form and accumulate errors (at the moment errors are a side-effect *but* we'd like to collect and manipulate them)
I'll use the new visitor to break apart and reimplement the OCaml naming phase before moving to Rust
Differential Revision: D40759727
fbshipit-source-id: a205b126c3586f19a3a85b0a0248287e7749532f
Summary:
`mapreduce` lets us `fold_map` over the AAST.
This is exactly what we want to do in a _validating elaboration phase_ such as naming where we rewrite hints to canonical form and accumulate errors (at the moment errors are a side-effect *but* we'd like to collect and manipulate them)
I'll use the new visitor to break apart and reimplement the OCaml naming phase before moving to Rust
Differential Revision: D40759727
fbshipit-source-id: a205b126c3586f19a3a85b0a0248287e7749532f