| commit | 1fcf789e8f20c5c5c9952f0913a0c7abb1ed32b5 | |
| author | Sankha Narayan Guria <ngsankha@fb.com> | |
| Wed, 14 Jul 2021 19:51:14 +0000 (14 12:51 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 14 Jul 2021 19:52:51 +0000 (14 12:52 -0700) | ||
| tree | 1074c81fd2974a9ef80a175365c90401f4c98cde | treesnapshot (tar.gz zip) |
| parent | 09c9740ccedde9af2e4cc735bc3a0987c98d7edb | commitdiff |
tests for coeffect subtyping and lambdas
Summary:
Adds tests to check for the 2 scenarios:
1. User-defined coeffects subtype correctly
2. A lambda when defined gets the correct user defined coeffect
Reviewed By: vassilmladenov
Differential Revision: D29688558
fbshipit-source-id: b7253d4949d31f4c7ee6af1d73fb4ed36108e346
Summary:
Adds tests to check for the 2 scenarios:
1. User-defined coeffects subtype correctly
2. A lambda when defined gets the correct user defined coeffect
Reviewed By: vassilmladenov
Differential Revision: D29688558
fbshipit-source-id: b7253d4949d31f4c7ee6af1d73fb4ed36108e346
| hphp/hack/test/typecheck/coeffect_encapsulation/coeffect_subtyping.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/coeffect_encapsulation/coeffect_subtyping.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/coeffect_encapsulation/lambda_inherits_coeffect.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/coeffect_encapsulation/lambda_inherits_coeffect.php.exp | [new file with mode: 0644] | blob |