| commit | af4d918a5605f187b5124064b0d46cdd4447d6e1 | |
| author | Michael Thomas <mjt@fb.com> | |
| Tue, 17 May 2022 14:41:45 +0000 (17 07:41 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 17 May 2022 14:41:45 +0000 (17 07:41 -0700) | ||
| tree | a36433337d205fd7b556bc97523b5f64a169b238 | treesnapshot (tar.gz zip) |
| parent | 4be6451cb01025f2f891ab40cc7bcff542bbf105 | commitdiff |
Subtype prop normalization for function types
Summary:
Implements subtype prop normalization for function types; note that the OCaml implementation is quite a bit more complex since it deals with:
- implicit params (coeffects)
- function attrs
- IFC policies
- enforcement
- parameter modes (i.e. invariance of inout params)
- variadicity
Differential Revision: D36246041
fbshipit-source-id: 4c2da92edc4bfc7523f1e3fb21e0b053ae84eda7
Summary:
Implements subtype prop normalization for function types; note that the OCaml implementation is quite a bit more complex since it deals with:
- implicit params (coeffects)
- function attrs
- IFC policies
- enforcement
- parameter modes (i.e. invariance of inout params)
- variadicity
Differential Revision: D36246041
fbshipit-source-id: 4c2da92edc4bfc7523f1e3fb21e0b053ae84eda7
| hphp/hack/src/rupro/hackrs/subtyping/normalize.rs | diffblobblamehistory |