| commit | dce76e93d95b120e8c73bf6fb045fb30106fc386 | |
| author | Maggie Moss <maggiemoss@fb.com> | |
| Tue, 5 Feb 2019 20:23:39 +0000 (5 12:23 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 5 Feb 2019 20:37:50 +0000 (5 12:37 -0800) | ||
| tree | a6dbbc9676b1ba67b7d813a3c3618a5da627d713 | treesnapshot (tar.gz zip) |
| parent | 1cf237f593803876268bf382b06110a9f90755e0 | commitdiff |
Move type arity checks to type_params_arity_check (1/2)
Summary:
Type arity is checked in several places across HackC, this pulls it out of `nastCheck` and `typing_unify` into it's own tast check.
As well, the checks done in `nastCheck` were relying on the `tenv`.
Reviewed By: kmeht
Differential Revision: D13911733
fbshipit-source-id: 39e6b8c5745a4e7eb22cc422986374bcfe39dcaa
Summary:
Type arity is checked in several places across HackC, this pulls it out of `nastCheck` and `typing_unify` into it's own tast check.
As well, the checks done in `nastCheck` were relying on the `tenv`.
Reviewed By: kmeht
Differential Revision: D13911733
fbshipit-source-id: 39e6b8c5745a4e7eb22cc422986374bcfe39dcaa
20 files changed: