Public Git Hosting - hiphop-php.git/search

2021-09-14	Scott Owens	Add an upcast expression	commit \| commitdiff \| tree
2021-09-13	Scott Owens	Remove like_types tests	commit \| commitdiff \| tree
2021-09-10	Scott Owens	Consider ~t to be enforceable when t is	commit \| commitdiff \| tree
2021-07-12	Scott Owens	extend negation types to classes	commit \| commitdiff \| tree
2021-07-06	Scott Owens	union of intersections factors out common types	commit \| commitdiff \| tree
2021-06-25	Scott Owens	add a disjointness check for types	commit \| commitdiff \| tree
2021-06-21	Scott Owens	simplify intersection and union in localisation	commit \| commitdiff \| tree
2021-06-08	Scott Owens	allow types in hsl .hhi files to be considered enforced	commit \| commitdiff \| tree
2021-06-07	Scott Owens	fix arraykey & num bug	commit \| commitdiff \| tree
2021-05-27	Scott Owens	Add a type for the negation of primitive types	commit \| commitdiff \| tree
2021-05-19	Scott Owens	Fix assignment to a Map with bad key	commit \| commitdiff \| tree
2021-05-18	Scott Owens	Simplify array index check	commit \| commitdiff \| tree
2021-05-18	Scott Owens	Make dict/Map Tk <: arraykey	commit \| commitdiff \| tree
2021-05-07	Scott Owens	Add an mli file	commit \| commitdiff \| tree
2021-05-06	Scott Owens	Test for type hole involving writing to a `Map` with...	commit \| commitdiff \| tree
2021-04-21	Scott Owens	Improve type solving heuristic	commit \| commitdiff \| tree
2021-04-21	Scott Owens	Add logging for object_get	commit \| commitdiff \| tree
2021-04-15	Scott Owens	Improve the treatment of various Collections with dynamic	commit \| commitdiff \| tree
2021-04-14	Scott Owens	Stop dynamic being potentially considered enforceable	commit \| commitdiff \| tree
2021-04-08	Scott Owens	Improve type checking for (Key)ValCollections and Pairs	commit \| commitdiff \| tree
2021-04-07	Scott Owens	Add simple tests for reified generics	commit \| commitdiff \| tree
2021-04-07	Scott Owens	Move some module abbreviations	commit \| commitdiff \| tree
2021-04-01	Scott Owens	Fix dropped env	commit \| commitdiff \| tree
2021-03-09	Scott Owens	Improve how coercion deals with enforcement	commit \| commitdiff \| tree
2021-03-04	Scott Owens	Fix type logging bug	commit \| commitdiff \| tree
2021-01-19	Scott Owens	Refactor two flags to sub-typing	commit \| commitdiff \| tree
2021-01-19	Scott Owens	Fix completeness with inference variables and coercion...	commit \| commitdiff \| tree
2021-01-11	Scott Owens	Improve type error message	commit \| commitdiff \| tree
2021-01-06	Scott Owens	Test and fix coercion from/to dynamic.	commit \| commitdiff \| tree
2021-01-06	Scott Owens	Update call typing for sound dynamic	commit \| commitdiff \| tree
2020-12-18	Scott Owens	Update as and foreach typing for sound dynamic	commit \| commitdiff \| tree
2020-12-08	Scott Owens	Update sub-typing for sound dynamic	commit \| commitdiff \| tree
2020-11-02	Scott Owens	Put whether a class implements dynamic into decls,...	commit \| commitdiff \| tree
2020-10-23	Scott Owens	Let classes implement "dynamic"	commit \| commitdiff \| tree
2020-08-17	Scott Owens	Change how the top-level union is re-constituted when...	commit \| commitdiff \| tree
2020-06-10	Scott Owens	Fix error location for inout parameters	commit \| commitdiff \| tree

RSS Atom