Public Git Hosting - hiphop-php.git/search

2016-11-08	Andrew Kennedy	Fix type hole with new on union of classnames	commit \| commitdiff \| tree
2016-11-05	Andrew Kennedy	Improvements to hh_show and hh_show_env	commit \| commitdiff \| tree
2016-10-31	Andrew Kennedy	Pretty printing of environments	commit \| commitdiff \| tree
2016-10-31	Andrew Kennedy	Type checker support for multiple concrete `as` constraints	commit \| commitdiff \| tree
2016-10-22	Andrew Kennedy	Better pretty printing of Hack types	commit \| commitdiff \| tree
2016-10-19	Andrew Kennedy	Improve type checker coverage of bad void usage	commit \| commitdiff \| tree
2016-10-18	Andrew Kennedy	Remove redundant expand_type calls	commit \| commitdiff \| tree
2016-10-13	Andrew Kennedy	Destructuring of unions of tuples	commit \| commitdiff \| tree
2016-10-11	Andrew Kennedy	Remove special casing for Tany before subtype test	commit \| commitdiff \| tree
2016-10-10	Andrew Kennedy	Replace unification by subtyping in array construction	commit \| commitdiff \| tree
2016-10-10	Andrew Kennedy	Define decl-based unification of types as mutual subtyping	commit \| commitdiff \| tree
2016-10-09	Andrew Kennedy	Make better use of constraints on generic params in...	commit \| commitdiff \| tree
2016-10-07	Andrew Kennedy	Sound overriding of methods with where constraints	commit \| commitdiff \| tree
2016-10-07	Andrew Kennedy	Arithmetic operations and subtyping	commit \| commitdiff \| tree
2016-10-06	Andrew Kennedy	Parsing of enable_experimental_tc_features	commit \| commitdiff \| tree
2016-10-05	Andrew Kennedy	Generalize where constraints to pairs of types	commit \| commitdiff \| tree
2016-10-04	Andrew Kennedy	Improve decompose_subtype to iterate over transitive...	commit \| commitdiff \| tree
2016-10-03	Andrew Kennedy	Change is_array refinement to use same technique as...	commit \| commitdiff \| tree
2016-10-01	Andrew Kennedy	Remove embedded constraint from AKgeneric, part 2	commit \| commitdiff \| tree
2016-09-29	Andrew Kennedy	Remove constraints from Habstr	commit \| commitdiff \| tree
2016-09-29	Andrew Kennedy	Remove unnecessary constraints from Tgeneric (part 3)	commit \| commitdiff \| tree
2016-09-29	Andrew Kennedy	Sound checking of constraints for overridden generic...	commit \| commitdiff \| tree
2016-09-27	Andrew Kennedy	Fix to restore good position information on class const...	commit \| commitdiff \| tree
2016-09-27	Andrew Kennedy	Remove unnecessary constraints from Tgeneric (part 2)	commit \| commitdiff \| tree
2016-09-27	Andrew Kennedy	Remove unnecessary constraints from Tgeneric (part 1)	commit \| commitdiff \| tree
2016-09-27	Andrew Kennedy	Improved error messages for incompatible override	commit \| commitdiff \| tree
2016-09-26	Andrew Kennedy	Check constraints at type parameter declaration not...	commit \| commitdiff \| tree
2016-09-22	Andrew Kennedy	New option --all-errors on hh_single_type_check	commit \| commitdiff \| tree
2016-09-22	Andrew Kennedy	Type safe instanceof	commit \| commitdiff \| tree
2016-09-21	Andrew Kennedy	Parsing of where constraints on abstract methods	commit \| commitdiff \| tree
2016-09-20	Andrew Kennedy	Replace use of unify in various ops with subtyping...	commit \| commitdiff \| tree
2016-09-20	Andrew Kennedy	Remove dead function my_unify	commit \| commitdiff \| tree
2016-09-07	Andrew Kennedy	Fix for build break on D3818617	commit \| commitdiff \| tree
2016-09-07	Andrew Kennedy	Generalize experimental_tc_features to a list	commit \| commitdiff \| tree
2016-08-12	Andrew Kennedy	Implement variance rules for static methods	commit \| commitdiff \| tree
2016-08-12	Andrew Kennedy	Move tpenv into env.lenv in readiness for constraint...	commit \| commitdiff \| tree
2016-07-27	Andrew Kennedy	Add new check for incompatible enum types	commit \| commitdiff \| tree
2016-07-12	Andrew Kennedy	Restore --remove-dead-fixme option with better help...	commit \| commitdiff \| tree
2016-07-12	Andrew Kennedy	Avoid hh_get producing temporary strings on local heaps	commit \| commitdiff \| tree
2016-07-10	Andrew Kennedy	Remove remove-dead-fixme option on hh_client	commit \| commitdiff \| tree
2016-07-10	Andrew Kennedy	Measurement and logging of size of deserialized values	commit \| commitdiff \| tree
2016-07-10	Andrew Kennedy	Switch order of sub/super in pattern matching in subtype...	commit \| commitdiff \| tree
2016-07-04	Andrew Kennedy	First stage of switching order of args to subtype functions	commit \| commitdiff \| tree
2016-06-29	Andrew Kennedy	Fix for empty array passed as tuple	commit \| commitdiff \| tree
2016-06-23	Andrew Kennedy	Support sharedmemory-log-level option in flow	commit \| commitdiff \| tree
2016-06-21	Andrew Kennedy	Shared heap statistics logging	commit \| commitdiff \| tree
2016-06-17	Andrew Kennedy	Fix looping over constraints	commit \| commitdiff \| tree
2016-06-11	Andrew Kennedy	Fix for subtype tests of form T <: ?t	commit \| commitdiff \| tree
2016-06-08	Andrew Kennedy	Hack prefers "super" to "as" constraints on type parameters...	commit \| commitdiff \| tree
2016-06-04	Andrew Kennedy	Support recursive constraints between generic parameters	commit \| commitdiff \| tree
2016-06-03	Andrew Kennedy	Remove code rendered unnecessary by removal of recursive...	commit \| commitdiff \| tree
2016-06-03	Andrew Kennedy	Cleanup use of uenv, part 1	commit \| commitdiff \| tree
2016-06-02	Andrew Kennedy	Syntax for multiple constraints, subtyping support...	commit \| commitdiff \| tree
2016-06-01	Andrew Kennedy	Remove recursive types, stage 2: no need for seen_tvars	commit \| commitdiff \| tree
2016-06-01	Andrew Kennedy	Remove recursive types from Hack	commit \| commitdiff \| tree
2016-05-31	Andrew Kennedy	Constraint syntax for type parameters	commit \| commitdiff \| tree
2016-05-26	Andrew Kennedy	hh_client --remove-dead-fixme feature	commit \| commitdiff \| tree
2016-05-20	Andrew Kennedy	Recursive constraints now supported	commit \| commitdiff \| tree
2016-05-18	Andrew Kennedy	Second stage of constraint environment work: remove...	commit \| commitdiff \| tree
2016-04-28	Andrew Kennedy	Relax variance restrictions on constraints on class...	commit \| commitdiff \| tree
2016-04-28	Andrew Kennedy	First stage of constraints refactoring: bounds environment	commit \| commitdiff \| tree
2016-04-12	Andrew Kennedy	Improve abstraction of Errors interface	commit \| commitdiff \| tree
2016-03-24	Andrew Kennedy	Small optimization in type inference: avoid immediate...	commit \| commitdiff \| tree
2016-03-17	Andrew Kennedy	Fix problem with lax checking of super constraints	commit \| commitdiff \| tree
2016-03-17	Andrew Kennedy	Fix problem with errors containing no position	commit \| commitdiff \| tree
2016-03-08	Andrew Kennedy	Fixed divergence between hh_single_type_check and hhi...	commit \| commitdiff \| tree

RSS Atom