Handle type arguments
commitdf03bdb412a01b0b38f6fa01584adf6d99368db6
authorJake Bailey <jakebailey@fb.com>
Wed, 3 Aug 2022 21:37:26 +0000 (3 14:37 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 3 Aug 2022 21:37:26 +0000 (3 14:37 -0700)
tree509c096dae68bd58e37623d4540d724d65496aa2
parent139089d064ef7aee1235006c563584d9bc1e11c1
Handle type arguments

Summary:
Add support for type arguments in TypePaths.

Separate the module names from the type name in the representation of TypePath, so that we can delay the casing conversion. This will make it easier to strip pointer types (e.g., `Box<Foo>` -> `Foo`) in a future pass.

Reviewed By: shayne-fletcher

Differential Revision: D38397119

fbshipit-source-id: be3feb5469381e5d883a904bea2ce3807b95b78b
hphp/hack/src/rust_to_ocaml/src/convert.rs
hphp/hack/src/rust_to_ocaml/src/ir.rs
hphp/hack/test/rust_to_ocaml/type_args.rs [new file with mode: 0644]
hphp/hack/test/rust_to_ocaml/type_args.rs.exp [new file with mode: 0644]