hhvm

hhvm copied to clipboard

Union Types

12

## Proposal I would like to propose adding union types into hack, once again. this request proposes adding the ability to declare a type alias using multiple types, that can...

azjezz

**Describe the bug** Message when passing `KindOfHerp` where `KindOfDerp` is expected when `KindOfHerp` and `KindOfDerp` are newtypes does not mention `KindOfHerp`. Instead it says that the newtype is constrained to...

lexidor

The current coeffects system allows you to describe a pure function by using the empty set `[]` annotation: ```hack function someFunc(int $x)[] { return $x + 1; } ``` While...

muglug

try catch around do while loop in a async block results in a verification error

2

**Describe the bug** running the following code results in a verification error ```hack async function main(): Awaitable { concurrent { await async {}; await async { try { do {await...

azjezz

**Describe the bug** PHP 7.1.0 added an `$offset` parameter to [\unpack()](https://www.php.net/manual/en/function.unpack.php). **Standalone code, or other way to reproduce the problem** ```HACK \unpack('Q', $bytes, 16); ``` **Expected behavior** `\unpack()` should parse...

lexidor

Unsound behaviour allowed with return static

4

```hack abstract class C1 { final public function __construct(private T $value) {} public static function from(mixed $value): this { return new static($value); } public function getValue() : T { return...

muglug

Update the printf hhi (#8691)

1

Summary: Pull Request resolved: https://github.com/facebook/hhvm/pull/8691 Reviewed By: jjergus Differential Revision: D21408514 Pulled By: jthemphill

jthemphill

Reuse Zstd DContext to avoid frequent memory allocations

2

Summary: Avoid high volume of calls to malloc during memcache client decompression. Differential Revision: D20802366

efiks

[ Segmentation fault ] Using `SQL\Query->toString__FOR_DEBUGGING_ONLY()` causes a segmentation fault when a query is also running

1

**Describe the bug** A segmentation fault occurs when running when asking for the string repr of a `SQL\Query` while the connection is busy. **Standalone code, or other way to reproduce...

lexidor

Calling a shared protected interface method in an object of another class is allowed by the typechecker, but fatals at runtime.

3

**Describe the bug** Given interface `IDoStuff` which declares `protected ->doStuff(): int`, `StuffDoer implements IDoStuff`, and `DoerOfStuff implements IDoStuff`, then `DoerOfStuff` can't call `StuffDoer->doStuff()` at runtime. The typechecker is fine with...

lexidor