?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 5c3cff5) | patch
Implement reified coeffect rulenightly-2021.05.20
commit25113185b7228f0ff77e88d27b905789c1ad0af2
authorOguz Ulgen <oulgen@fb.com>
Thu, 20 May 2021 01:20:21 +0000 (19 18:20 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 20 May 2021 01:22:11 +0000 (19 18:22 -0700)
tree13b6ee32a27004b0e091d1ebe80ae191c364397atree | snapshot (tar.gz zip)
parent5c3cff51e9e317fe66a17e2232c986b694f89021commit | diff
Implement reified coeffect rule

Summary: This diff implements the interpreter and jit support for accessing a coeffect off of a reified generic.

Reviewed By: jano

Differential Revision: D28419336

fbshipit-source-id: 6d95cf9f5370826356ee6181df8e930fbffbe8e3
14 files changed:
hphp/runtime/base/strings.h diff | blob | blame | history
hphp/runtime/vm/coeffects.cpp diff | blob | blame | history
hphp/runtime/vm/jit/irgen-coeffects.cpp diff | blob | blame | history
hphp/test/slow/coeffects/reified-1.php [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-1.php.expectf [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-1.php.opts [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-2.php [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-2.php.expectf [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-2.php.opts [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-3.php [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-3.php.expectf [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-4.php [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-4.php.expectf [new file with mode: 0644] blob
hphp/test/slow/coeffects/reified-4.php.opts [new file with mode: 0644] blob