| commit | c10171c4332032fcc52ea1d06d79f51a09a85fb8 | |
| author | Jake Bailey (Hacklang) <jakebailey@fb.com> | |
| Fri, 29 May 2020 05:17:27 +0000 (28 22:17 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 29 May 2020 05:33:56 +0000 (28 22:33 -0700) | ||
| tree | f9218babb70fc72991e5f69c0e055dffa5619263 | treesnapshot (tar.gz zip) |
| parent | d2606fb1e5548f85addac1e6f6b97eafa422ce2b | commitdiff |
Use types from the oxidized_by_ref crate instead of the oxidized crate for to_oxidized
Summary: This diff replaces the use of the oxidized typechecker types in `to_oxidized`, replacing them with oxidized_by_ref definitions. This unblocks deleting typechecker types and decls from the oxidized crate, since they are used only in this debugging-only path. It also reduces the amount of conversion necessary for `to_oxidized` (since we need not convert the oxidized_by_ref structures the typechecker already uses, like `Ty`).
Differential Revision: D21587518
fbshipit-source-id: 5e7ec2237d0059070653b45d15eb7c1259588ccb
Summary: This diff replaces the use of the oxidized typechecker types in `to_oxidized`, replacing them with oxidized_by_ref definitions. This unblocks deleting typechecker types and decls from the oxidized crate, since they are used only in this debugging-only path. It also reduces the amount of conversion necessary for `to_oxidized` (since we need not convert the oxidized_by_ref structures the typechecker already uses, like `Ty`).
Differential Revision: D21587518
fbshipit-source-id: 5e7ec2237d0059070653b45d15eb7c1259588ccb
34 files changed: