?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 74f456e) | patch
Add tyvars as newtype wrapper on idents
commit9ffa039e00ee269dbf4c15db1386528aeccd2e61
authorMichael Thomas <mjt@fb.com>
Mon, 28 Feb 2022 16:28:42 +0000 (28 08:28 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 28 Feb 2022 16:28:42 +0000 (28 08:28 -0800)
tree03904de4d9a2d07a8ce395d97a67982ccf4d3cd9tree | snapshot (tar.gz zip)
parent74f456e5769c24aee241d72a85044ee778f94cf2commit | diff
Add tyvars as newtype wrapper on idents

Summary: Add `Tyvar` as a newtype on `Ident` and a `Tvar` type

Differential Revision: D34520313

fbshipit-source-id: 2a5677481e058630c243b3c2a23ebb02d0de55e8
hphp/hack/src/rupro/lib/typing_defs/mod.rs diff | blob | blame | history
hphp/hack/src/rupro/lib/typing_defs/ty.rs diff | blob | blame | history
hphp/hack/src/rupro/lib/typing_defs/tyvar.rs [new file with mode: 0644] blob