| commit | 4d52756537a0762c197a23cd1b495c1b92dccb56 | |
| author | Frank Emrich <frankemrich@fb.com> | |
| Thu, 6 Aug 2020 16:00:19 +0000 (6 09:00 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 6 Aug 2020 16:02:43 +0000 (6 09:02 -0700) | ||
| tree | bf386dd0da2734829e7ca079a94a42f65c0f5e68 | treesnapshot (tar.gz zip) |
| parent | 37e43132bea065a1d42143db44c76ea8fe457e3d | commitdiff |
solved some TODOs about Tgeneric type arguments (2)
Summary: When adding type arguments to Typing_defs_core.Tgeneric to implement higher-kinded types, I left a lot of TODOs in places where we needed to handle the newly added type arguments. This diff fixes some of those TODOs. This is the second of two similar diffs.
Reviewed By: andrewjkennedy
Differential Revision: D22665542
fbshipit-source-id: c967265b2d2aae72200c9c1a1f82b34bdef59326
Summary: When adding type arguments to Typing_defs_core.Tgeneric to implement higher-kinded types, I left a lot of TODOs in places where we needed to handle the newly added type arguments. This diff fixes some of those TODOs. This is the second of two similar diffs.
Reviewed By: andrewjkennedy
Differential Revision: D22665542
fbshipit-source-id: c967265b2d2aae72200c9c1a1f82b34bdef59326
12 files changed: