| commit | dc5fa34ed1f4257eead3260969f9ede764dbd203 | |
| author | Oguz Ulgen <oulgen@fb.com> | |
| Sat, 17 Jul 2021 00:49:56 +0000 (16 17:49 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Sat, 17 Jul 2021 00:51:48 +0000 (16 17:51 -0700) | ||
| tree | de2bdb020eb833ba0c539a37b8abe78642df2637 | treesnapshot (tar.gz zip) |
| parent | d7feae8b97bc63b292155ae760dd50359d3a059e | commitdiff |
Allocate coeffect bits from pure towards unreachable
Summary:
This diff makes it so that
1) Each capability is positively given, i.e. ability to do something now gets a 1 bit instead of inability to do something previous getting 1 bit
2) COMMA separated coeffects now work as intended instead of getting promoted to the parent context
In order make sure `policied_of` cannot call `policied_shallow` and `policied_local`, I kept the escaping bit of `policied_of` in the runtime but it is not user denotable.
Reviewed By: jano
Differential Revision: D29521836
fbshipit-source-id: 3ce736e7db969623a8e41d4ef8a9aa4984a541bf
Summary:
This diff makes it so that
1) Each capability is positively given, i.e. ability to do something now gets a 1 bit instead of inability to do something previous getting 1 bit
2) COMMA separated coeffects now work as intended instead of getting promoted to the parent context
In order make sure `policied_of` cannot call `policied_shallow` and `policied_local`, I kept the escaping bit of `policied_of` in the runtime but it is not user denotable.
Reviewed By: jano
Differential Revision: D29521836
fbshipit-source-id: 3ce736e7db969623a8e41d4ef8a9aa4984a541bf
16 files changed: