type-assert

type-assert copied to clipboard

Clean up reference to varray, darray, and HH_FIXME

1

fixes #58 fixes #61 Fixes: - Removes unreachable code `UntypedArraySpec`. It was private and the `array` type is impossible to spell (both in the typechecker and in the runtime) anyway....

lexidor

TypeSpec\of() doesn't take inner reified generics of arbitrary classes into account.

2

example: ```hack final class A {} class B {} final class C extends B {} function m(): void { require_once __DIR__.'/vendor/autoload.hack'; \Facebook\AutoloadMap\initialize(); echo \Facebook\TypeSpec\of()->toString(); } ``` expected output: `C` actual...

azjezz

Update dependencies to support latest HHVM

1

Atry

Remove all dict/vec/varray/darray/shape/tuple implicit conversions in assert path

3

Related: #48, #18 We're expecting to make darray an alias for dict, varray an alias for vec, and swap the backing store for shapes and tuples to dict/vec respectively in...

fredemmott

Clean up references to varray and darray

1

VarraySpec and DarraySpec are now nearly the same as VecSpec and DictSpec. There are some small differences in the traces that are generated on failure, and there's some redundant logic...

skishore

[ RFC ] Do we want to open up using custom TypeSpec<T>'s for the reified API's?

4

With the current capabilities of TypeAssert, we can derive from `Facebook\TypeSpec\TypeSpec` to implement validation for custom `newtype`s. These specs compose just like the built-in specs. `__Private\from_type_structure()` (and its friends like...

lexidor

Add traces to unsupportedtypeexception

1

fredemmott