| commit | 5147a8b2c5e5c8e974e3c5188ab0fd9ca978c620 | |
| author | Catherine Gasnier <catg@fb.com> | |
| Fri, 28 Jan 2022 04:53:39 +0000 (27 20:53 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 28 Jan 2022 04:57:25 +0000 (27 20:57 -0800) | ||
| tree | 3fb0f3a11958010ef4ca235cf3001e05452ea762 | treesnapshot (tar.gz zip) |
| parent | 13eb488c06c471aca41a66990cb2e1977d7368b9 | commitdiff |
create check_class_members helper
Summary:
The last chunk of `class_def_` is about typing each invidual member. I've put this chunk into `check_class_members`. Now class_def_ is clearly divided in 3:
- hierarchy checks
- other wellformedness-checks
- member typing
Reviewed By: andrewjkennedy
Differential Revision: D33789232
fbshipit-source-id: cca0216cba9b4aa05592efe4d1259648deb7eebd
Summary:
The last chunk of `class_def_` is about typing each invidual member. I've put this chunk into `check_class_members`. Now class_def_ is clearly divided in 3:
- hierarchy checks
- other wellformedness-checks
- member typing
Reviewed By: andrewjkennedy
Differential Revision: D33789232
fbshipit-source-id: cca0216cba9b4aa05592efe4d1259648deb7eebd
| hphp/hack/src/typing/typing_toplevel.ml | diffblobblamehistory |