| commit | 139089d064ef7aee1235006c563584d9bc1e11c1 | |
| author | Jake Bailey <jakebailey@fb.com> | |
| Wed, 3 Aug 2022 21:37:26 +0000 (3 14:37 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 3 Aug 2022 21:37:26 +0000 (3 14:37 -0700) | ||
| tree | a73a9889f7a9820acd036bd35ebc45778de95e28 | treesnapshot (tar.gz zip) |
| parent | f8db1d63fcf1a96b62b22db3f2a517f7d29988a8 | commitdiff |
Handle type parameters
Summary: Add an ItemConverter struct to hold context specific to the item being converted. Store in it the type parameter names in scope, so that we can distinguish type names (`t`) from type parameters (`'t`) when converting a type.
Reviewed By: shayne-fletcher
Differential Revision: D38392101
fbshipit-source-id: ae8f60bce8ff20c9c61e9e3a77de3462ed76708c
Summary: Add an ItemConverter struct to hold context specific to the item being converted. Store in it the type parameter names in scope, so that we can distinguish type names (`t`) from type parameters (`'t`) when converting a type.
Reviewed By: shayne-fletcher
Differential Revision: D38392101
fbshipit-source-id: ae8f60bce8ff20c9c61e9e3a77de3462ed76708c
| hphp/hack/src/rust_to_ocaml/src/convert.rs | diffblobblamehistory | |
| hphp/hack/src/rust_to_ocaml/src/ir.rs | diffblobblamehistory | |
| hphp/hack/test/rust_to_ocaml/option.rs | [new file with mode: 0644] | blob |
| hphp/hack/test/rust_to_ocaml/option.rs.exp | [new file with mode: 0644] | blob |