Public Git Hosting - hiphop-php.git/search

2021-10-06	Vassil Mladenov	Remove Aast.TCPartiallyAbstract	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Reserve error code for new FIXME-able error	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Remove is_concrete argument	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Remove Typing_defs.TCPartiallyAbstract	commit \| commitdiff \| tree
2021-10-05	Vassil Mladenov	Remove disable_partially_abstract_typeconsts option	commit \| commitdiff \| tree
2021-10-01	Vassil Mladenov	Use inner type for dependent contexts when parameter...	commit \| commitdiff \| tree
2021-09-29	Vassil Mladenov	Implement subtyping for Tsupportdynamic	commit \| commitdiff \| tree
2021-09-29	Vassil Mladenov	Introduce supportdynamic type hint and Tsupportdynamic	commit \| commitdiff \| tree
2021-09-23	Vassil Mladenov	Use new namespace elaboration for ctx consts	commit \| commitdiff \| tree
2021-09-23	Vassil Mladenov	Add missing coeffect encapsulation tests to hphp/test	commit \| commitdiff \| tree
2021-09-20	Vassil Mladenov	Log pessimization for properties that fail sound dynamic...	commit \| commitdiff \| tree
2021-09-17	Vassil Mladenov	Require as constraint on context aliases	commit \| commitdiff \| tree
2021-09-17	Vassil Mladenov	Add another test case for short context aliases	commit \| commitdiff \| tree
2021-09-16	Vassil Mladenov	Register capabilities before saving env copy for SDT...	commit \| commitdiff \| tree
2021-09-16	Vassil Mladenov	Skip SDT parent check on non classes/interfaces	commit \| commitdiff \| tree
2021-09-15	Vassil Mladenov	Add everything_sdt typechecker option	commit \| commitdiff \| tree
2021-09-14	Vassil Mladenov	Make context validation logic over decl tys, allow...	commit \| commitdiff \| tree
2021-09-10	Vassil Mladenov	Enable __Sealed subclass check as a lint	commit \| commitdiff \| tree
2021-09-08	Vassil Mladenov	Ban partially abstract type constants by default	commit \| commitdiff \| tree
2021-08-27	Vassil Mladenov	Remove legacy c_support_dynamic_type field	commit \| commitdiff \| tree
2021-08-25	Vassil Mladenov	introduce newctx keyword for context aliases	commit \| commitdiff \| tree
2021-08-20	Vassil Mladenov	Implement projection of context constants off reified...	commit \| commitdiff \| tree
2021-08-20	Vassil Mladenov	Require exact explicit type argument count	commit \| commitdiff \| tree
2021-08-19	Vassil Mladenov	Cstr -> Constructor	commit \| commitdiff \| tree
2021-08-16	Vassil Mladenov	Allow effect polymorphic calls with only explicit tparam...	commit \| commitdiff \| tree
2021-08-16	Vassil Mladenov	Move over dependent contexts to T/[...] naming	commit \| commitdiff \| tree
2021-07-17	Vassil Mladenov	Move defaults for class constants back to Migration	commit \| commitdiff \| tree
2021-07-16	Vassil Mladenov	Write -1 m_data for constants that do not have a value...	commit \| commitdiff \| tree
2021-06-30	Vassil Mladenov	Pass unstable flag to hhvm tests	commit \| commitdiff \| tree
2021-06-29	Vassil Mladenov	Concretization for defaults of abstract constants	commit \| commitdiff \| tree
2021-06-29	Vassil Mladenov	Demote defaults for class constants to Unstable	commit \| commitdiff \| tree
2021-06-25	Vassil Mladenov	Implement default values for abstract class constants	commit \| commitdiff \| tree
2021-06-15	Vassil Mladenov	Make trait constants behave like interface constants	commit \| commitdiff \| tree
2021-06-15	Vassil Mladenov	Remove Traversable::C, Container::CMut	commit \| commitdiff \| tree
2021-05-21	Vassil Mladenov	Turn on defaults inheritance behavior and remove flag	commit \| commitdiff \| tree
2021-05-20	Vassil Mladenov	Flag to raise warning when accessing abstract context...	commit \| commitdiff \| tree
2021-05-20	Vassil Mladenov	Add flag to allow abstract type constants with defaults...	commit \| commitdiff \| tree
2021-05-07	Vassil Mladenov	Add flag to make ReflectionTypeConstant::isAbstract...	commit \| commitdiff \| tree
2021-05-07	Vassil Mladenov	Use abstract keyword to determine abstractness for...	commit \| commitdiff \| tree
2021-05-07	Vassil Mladenov	Rename isAbstract() to isAbstractAndUninit()	commit \| commitdiff \| tree
2021-05-05	Vassil Mladenov	Add flag to enable abstract context constants	commit \| commitdiff \| tree
2021-05-04	Vassil Mladenov	Update flag name	commit \| commitdiff \| tree
2021-05-04	Vassil Mladenov	Add flag to treat require extends and implements as...	commit \| commitdiff \| tree
2021-05-03	Vassil Mladenov	Add flag to error on concrete-concrete override	commit \| commitdiff \| tree
2021-04-28	Vassil Mladenov	Change type constant representation in Typing_defs...	commit \| commitdiff \| tree
2021-04-20	Vassil Mladenov	Flag to ban definitions for partially abstract type...	commit \| commitdiff \| tree
2021-04-09	Vassil Mladenov	Separate the kinds of type constants in the AST	commit \| commitdiff \| tree
2021-04-08	Vassil Mladenov	Remove fallback_expect_extension from run_idempotence_tests	commit \| commitdiff \| tree
2021-04-01	Vassil Mladenov	Flip on --hack-arr-dv-arrs for hh_single_type_check...	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	Forbid accessing classname on Hack array type structures	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	Do not reinterpret is/as hints for hack_arr_dv_arrs	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	Tast check not firing on XHP	commit \| commitdiff \| tree
2021-03-30	Vassil Mladenov	HackC implementation for getValue()	commit \| commitdiff \| tree
2021-03-22	Vassil Mladenov	Add autocomplete complete support for enum atoms	commit \| commitdiff \| tree
2021-03-22	Vassil Mladenov	Fix position for enum atoms in Tast	commit \| commitdiff \| tree
2021-03-13	Vassil Mladenov	Fix last occurrence of "array_unification"	commit \| commitdiff \| tree
2021-03-11	Vassil Mladenov	rename config flag	commit \| commitdiff \| tree
2021-03-02	Vassil Mladenov	Add ignore_unsafe_cast flag	commit \| commitdiff \| tree
2021-03-02	Vassil Mladenov	Implement unsafe_cast	commit \| commitdiff \| tree
2021-02-26	Vassil Mladenov	Pass unification flag to Typing_make_type	commit \| commitdiff \| tree
2021-02-18	Vassil Mladenov	Add subtyping for vec_or_dict with nonnull	commit \| commitdiff \| tree
2021-02-18	Vassil Mladenov	Direct_decl_parser for vec_or_dict and more tests	commit \| commitdiff \| tree
2021-02-12	Vassil Mladenov	Fix bug with enforcing purity in constant initializers	commit \| commitdiff \| tree
2021-02-11	Vassil Mladenov	Add subtyping for vec_or_dict	commit \| commitdiff \| tree
2021-02-10	Vassil Mladenov	Require write_props for accessing an enum class variant	commit \| commitdiff \| tree
2021-02-09	Vassil Mladenov	Introduce Hvec_or_dict as a target for vec_or_dict	commit \| commitdiff \| tree
2021-02-09	Vassil Mladenov	Introduce Tvec_or_dict to Typing_defs_core	commit \| commitdiff \| tree
2021-02-04	Vassil Mladenov	Introduce flag for treating soft types as like types	commit \| commitdiff \| tree
2021-02-03	Vassil Mladenov	Interpret varray as vec and darray as dict if flag...	commit \| commitdiff \| tree
2021-02-02	Vassil Mladenov	Ban Tintersection on RHS of as	commit \| commitdiff \| tree
2021-01-29	Vassil Mladenov	Better error messages for non-object access	commit \| commitdiff \| tree
2021-01-26	Vassil Mladenov	Array unification switch	commit \| commitdiff \| tree
2021-01-23	Vassil Mladenov	Remove Tarray from the typechecker	commit \| commitdiff \| tree
2021-01-22	Vassil Mladenov	Make hh_single_decl's tcopt come from popt	commit \| commitdiff \| tree
2021-01-20	Vassil Mladenov	Elaborate type arguments for ctx in standard namespace	commit \| commitdiff \| tree
2021-01-15	Vassil Mladenov	Update Cipp-related contexts and caps	commit \| commitdiff \| tree
2021-01-15	Vassil Mladenov	Fix path that points to HHI in coeffects error messages	commit \| commitdiff \| tree
2021-01-12	Vassil Mladenov	Remove comment at the end of error variants	commit \| commitdiff \| tree
2021-01-12	Vassil Mladenov	Check legal capabilities after alias expansion	commit \| commitdiff \| tree
2021-01-12	Vassil Mladenov	Ban polymorphic contexts on lambdas	commit \| commitdiff \| tree
2021-01-11	Vassil Mladenov	More informative error message about wildcards	commit \| commitdiff \| tree
2021-01-11	Vassil Mladenov	Immutable locals: prevent reassignment of parameters...	commit \| commitdiff \| tree
2021-01-09	Vassil Mladenov	Ban constraints on ctx constants in the typechecker	commit \| commitdiff \| tree
2021-01-08	Vassil Mladenov	Re-sugar coeffect tparams that have $	commit \| commitdiff \| tree
2021-01-08	Vassil Mladenov	Move tyvar expansion into desugar_simple_intersection	commit \| commitdiff \| tree
2021-01-08	Vassil Mladenov	Error when ctx $f does not point to a function	commit \| commitdiff \| tree
2021-01-07	Vassil Mladenov	Add more parse errors for coeffects	commit \| commitdiff \| tree
2021-01-04	Vassil Mladenov	Check coeffects for memoized parameters	commit \| commitdiff \| tree
2021-01-03	Vassil Mladenov	Expand type vars for error printing in calls to effect...	commit \| commitdiff \| tree
2021-01-03	Vassil Mladenov	Don't string match function names for Typing_env pseudo...	commit \| commitdiff \| tree
2020-12-30	Vassil Mladenov	Remove some string checks from the default path for...	commit \| commitdiff \| tree
2020-12-30	Vassil Mladenov	Check coeffects for `using`	commit \| commitdiff \| tree
2020-12-29	Vassil Mladenov	Do not run expression inference twice for clone	commit \| commitdiff \| tree
2020-12-24	Vassil Mladenov	Special case nothing coeffect in error messages, stop...	commit \| commitdiff \| tree
2020-12-23	Vassil Mladenov	Pretty print capabilities in generic subtyping errors	commit \| commitdiff \| tree
2020-12-23	Vassil Mladenov	Make goto definition ignore unsafe capabilities in...	commit \| commitdiff \| tree
2020-12-22	Vassil Mladenov	Add hhconfig flag for po_enable_coeffects, clean up...	commit \| commitdiff \| tree
2020-12-22	Vassil Mladenov	Hard enable parsing of coeffects for hh_single_type_check	commit \| commitdiff \| tree
2020-12-22	Vassil Mladenov	Move capability initialization earlier for functions...	commit \| commitdiff \| tree
2020-12-22	Vassil Mladenov	Check coeffects on __clone	commit \| commitdiff \| tree
next

RSS Atom