Public Git Hosting - hiphop-php.git/search

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
2020-12-21	Vassil Mladenov	Elaborate ctx constant namespaces	commit \| commitdiff \| tree
2020-12-21	Vassil Mladenov	Instantiate constructor tparams if they exist	commit \| commitdiff \| tree
2020-12-21	Vassil Mladenov	Transformation for parameter dependent contexts	commit \| commitdiff \| tree
2020-12-18	Vassil Mladenov	Lower `ctx $f`	commit \| commitdiff \| tree
2020-12-16	Vassil Mladenov	Some renaming	commit \| commitdiff \| tree
2020-12-16	Vassil Mladenov	Change type of capabilities to list of hints	commit \| commitdiff \| tree
2020-12-15	Vassil Mladenov	Add parsing for $x::C in context lists	commit \| commitdiff \| tree
2020-12-14	Vassil Mladenov	Add parsing for dependent function contexts	commit \| commitdiff \| tree
2020-12-14	Vassil Mladenov	Delete provisional syntax for capabilities	commit \| commitdiff \| tree
2020-12-11	Vassil Mladenov	Do not make intersection when only single item in coeffect...	commit \| commitdiff \| tree
2020-12-04	Vassil Mladenov	Change default capability to be `defaults` instead...	commit \| commitdiff \| tree
2020-12-03	Vassil Mladenov	Update `defaults` with the v0 coeffects	commit \| commitdiff \| tree
2020-12-02	Vassil Mladenov	Add trimmed down graph for v0 of coeffects	commit \| commitdiff \| tree
2020-12-01	Vassil Mladenov	Reorganize capability HHIs again	commit \| commitdiff \| tree
2020-11-23	Vassil Mladenov	Back out "Change default capability to be `defaults...	commit \| commitdiff \| tree
2020-11-20	Vassil Mladenov	Change default capability to be `defaults` instead...	commit \| commitdiff \| tree
2020-11-19	Vassil Mladenov	Change capability to be a variant in Tfun	commit \| commitdiff \| tree
2020-11-10	Vassil Mladenov	Backout D24132229	commit \| commitdiff \| tree
2020-11-03	Vassil Mladenov	Make default capability not be bottom type	commit \| commitdiff \| tree
2020-11-03	Vassil Mladenov	Minor simplification for top level function declarations	commit \| commitdiff \| tree
2020-10-23	Vassil Mladenov	HHI reorganization	commit \| commitdiff \| tree
2020-10-13	Vassil Mladenov	Updating map with Globals, IO, and UnrestrictedMutation	commit \| commitdiff \| tree
2020-10-10	Vassil Mladenov	Add graph for coeffects interface hierarchy	commit \| commitdiff \| tree
2020-10-05	Vassil Mladenov	Parse cap on lambda	commit \| commitdiff \| tree
2020-10-02	Vassil Mladenov	Parse cap on function type specifier	commit \| commitdiff \| tree
2020-09-30	Vassil Mladenov	Parse bracket syntax	commit \| commitdiff \| tree
2020-09-22	Vassil Mladenov	Make make_token explicitly match in direct decl parser	commit \| commitdiff \| tree
2020-09-21	Vassil Mladenov	Save a function's capability as a fake local and pass...	commit \| commitdiff \| tree
2020-09-16	Vassil Mladenov	Set tcopt based on __EnableUnstableFeatures	commit \| commitdiff \| tree
2020-09-16	Vassil Mladenov	Add tcopt for coeffects	commit \| commitdiff \| tree
2020-09-12	Vassil Mladenov	Add ft_implicit_params to fun_type	commit \| commitdiff \| tree
2020-09-08	Vassil Mladenov	Lowering of capabilities	commit \| commitdiff \| tree
2020-09-08	Vassil Mladenov	Add f_unsafe_cap to AST	commit \| commitdiff \| tree
2020-09-01	Vassil Mladenov	Parsing of temporary capability syntax	commit \| commitdiff \| tree
2020-08-25	Vassil Mladenov	Allow hh_parse to use __EnableUnstableFeatures	commit \| commitdiff \| tree
2020-08-21	Vassil Mladenov	Mild refactor of function formatting	commit \| commitdiff \| tree
2020-06-15	Vassil Mladenov	Move constant to root namespace for HSL	commit \| commitdiff \| tree
2020-06-12	Vassil Mladenov	Restore hard-banned error codes	commit \| commitdiff \| tree
2020-06-12	Vassil Mladenov	Add a flag to not raise a typing error in partial	commit \| commitdiff \| tree
2020-06-12	Vassil Mladenov	Add integration test	commit \| commitdiff \| tree
2020-06-12	Vassil Mladenov	Add partial whitelist	commit \| commitdiff \| tree
2020-06-12	Vassil Mladenov	Remove unused lint check	commit \| commitdiff \| tree
2020-06-12	Vassil Mladenov	Invert decl fixme code check	commit \| commitdiff \| tree
2020-06-11	Vassil Mladenov	Make errors for strict mode be whitelisted	commit \| commitdiff \| tree
2020-06-10	Vassil Mladenov	Back out "Typecheck tests" and "[1/8] Make errors for...	commit \| commitdiff \| tree
2020-06-10	Vassil Mladenov	Typecheck tests	commit \| commitdiff \| tree
2020-06-10	Vassil Mladenov	Make errors for strict mode be whitelisted	commit \| commitdiff \| tree
2020-06-04	Vassil Mladenov	Flag to disable HH_IGNORE_ERROR	commit \| commitdiff \| tree
2020-06-03	Vassil Mladenov	Stop duplicating code	commit \| commitdiff \| tree
2020-05-31	Vassil Mladenov	Delete .out files that have snuck into hg	commit \| commitdiff \| tree
2020-05-29	Vassil Mladenov	Clear out top level code and missing return errors...	commit \| commitdiff \| tree
2020-05-16	Vassil Mladenov	Add hackpartial to runtime	commit \| commitdiff \| tree
2020-05-15	Vassil Mladenov	Re-run oxidize	commit \| commitdiff \| tree
2020-05-14	Vassil Mladenov	Remove function bound generics that are only used in...	commit \| commitdiff \| tree
2020-05-14	Vassil Mladenov	Make hh_server aware of .hackpartial files	commit \| commitdiff \| tree
2020-05-13	Vassil Mladenov	Set mode of .hackpartial files to be Mpartial	commit \| commitdiff \| tree
2020-05-13	Vassil Mladenov	Add parse error for .hackpartial files with headers	commit \| commitdiff \| tree
2020-05-13	Vassil Mladenov	Split error codes for read/write on array access and...	commit \| commitdiff \| tree
2020-04-30	Vassil Mladenov	Expose more builtin constants	commit \| commitdiff \| tree
2020-04-30	Vassil Mladenov	Ignore disallowed_decl_fixmes option in HHI files	commit \| commitdiff \| tree
2020-04-30	Vassil Mladenov	Move incorrect type to facebook/	commit \| commitdiff \| tree
2020-04-30	Vassil Mladenov	Enable like casts to non-enforceable generics	commit \| commitdiff \| tree
2020-04-23	Vassil Mladenov	Make static property initialization check see if type...	commit \| commitdiff \| tree
next

RSS Atom