?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Add note about what an annotation is to type-scanners
2020-04-14 Andrew KennedyReplace Fellipsis by use of Fvariadic
 commit | commitdiff | tree
2020-04-14 Andrew KennedySmall changes to make TAST output compatible
 commit | commitdiff | tree
2020-04-09 Andrew KennedyAvoid redundant get_class in expand_typeconst
 commit | commitdiff | tree
2020-04-09 Andrew KennedyAdd definition site position to cyclic typedef error
 commit | commitdiff | tree
2020-04-09 Andrew KennedyReplace use of bools in decl element by bitwise flags
 commit | commitdiff | tree
2020-04-09 Andrew KennedyReplace use of bools in param by bitwise flags
 commit | commitdiff | tree
2020-04-07 Andrew KennedyWrap unpack errors using on_error
 commit | commitdiff | tree
2020-04-07 Andrew KennedyImplement transitive inheritance in subtyping
 commit | commitdiff | tree
2020-04-03 Andrew KennedyStrengthen redundant generics check to a type checker...
commit | commitdiff | tree
2020-04-02 Andrew KennedyMove xhp_attr into ce_flags
 commit | commitdiff | tree
2020-04-02 Andrew KennedyReplace use of bools in class element by bitwise flags
 commit | commitdiff | tree
2020-04-02 Andrew KennedyRemove max arity in ft_arity, use List.length fp_params...
commit | commitdiff | tree
2020-04-02 Andrew KennedyReplace use of bools etc in fun_type by bitwise flags
 commit | commitdiff | tree
2020-04-01 Andrew KennedyFix infinite loop in is_enforceable
 commit | commitdiff | tree
2020-03-31 Andrew KennedyAvoid calls to get_class where possible
 commit | commitdiff | tree
2020-03-30 Andrew KennedyUse naming convention to determine variance of generic...
commit | commitdiff | tree
2020-03-30 Andrew KennedyImplement inheritance in subtyping
 commit | commitdiff | tree
2020-03-30 Andrew KennedyInitial implementation of subtyping, return statement
 commit | commitdiff | tree
2020-03-20 Andrew KennedyKill AKempty array type
 commit | commitdiff | tree
2020-03-10 Andrew KennedyAllocate subtype propositions in the arena
 commit | commitdiff | tree
2020-03-10 Andrew KennedyAuxiliary functions on types
 commit | commitdiff | tree
2020-03-06 Andrew KennedyFix position bug
 commit | commitdiff | tree
2020-03-05 Andrew KennedyCleanup after opaque ty change
 commit | commitdiff | tree
2020-03-05 Andrew KennedyExtend TypeBuilder with classes and well-known types
 commit | commitdiff | tree
2020-03-04 Andrew KennedyMove method_def out of typing.ml
 commit | commitdiff | tree
2020-03-03 Andrew KennedyFirst stab at hh_check
 commit | commitdiff | tree
2020-03-03 Andrew KennedyMove more code out of typing.ml
 commit | commitdiff | tree
2020-03-03 Andrew KennedySplit typing.ml into multiple modules
 commit | commitdiff | tree
2020-02-24 Andrew KennedyRefactor continuations map to assist Rust oxidize
 commit | commitdiff | tree
2020-02-19 Andrew KennedyRemove Tnothing decl type
 commit | commitdiff | tree
2020-02-12 Andrew KennedyEnable new_inference_lambda by default, remove all...
commit | commitdiff | tree
2020-02-04 Andrew KennedyAvoid Reason.to_pos in validate type
 commit | commitdiff | tree
2020-01-29 Andrew KennedyAvoid accessing reason on type
 commit | commitdiff | tree
2020-01-29 Andrew KennedyIn inheritance checks get positions directly from class...
commit | commitdiff | tree
2020-01-24 Andrew KennedyFix bad position bug
 commit | commitdiff | tree
2020-01-23 Andrew KennedyFix build break
 commit | commitdiff | tree
2020-01-23 Andrew KennedyActually make ty and constraint_type opaque
 commit | commitdiff | tree
2020-01-23 Andrew KennedyMake ty opaque in Typing_defs (part 13)
 commit | commitdiff | tree
2020-01-23 Andrew KennedyMake ty opaque in Typing_defs (part 12)
 commit | commitdiff | tree
2020-01-23 Andrew KennedyMake ty opaque in Typing_defs (part 11)
 commit | commitdiff | tree
2020-01-21 Andrew KennedyMake ty opaque in Typing_defs (part 10)
 commit | commitdiff | tree
2020-01-20 Andrew KennedyMake ty opaque in Typing_defs (part 9)
 commit | commitdiff | tree
2020-01-20 Andrew KennedyMake ty opaque in Typing_defs (part 8)
 commit | commitdiff | tree
2020-01-20 Andrew KennedyMake ty opaque in Typing_defs (part 7)
 commit | commitdiff | tree
2020-01-20 Andrew KennedyMake ty opaque in Typing_defs (part 6)
 commit | commitdiff | tree
2020-01-20 Andrew KennedyMake ty opaque in Typing_defs (part 5)
 commit | commitdiff | tree
2020-01-20 Andrew KennedyMake ty opaque in Typing_defs (part 4)
 commit | commitdiff | tree
2020-01-20 Andrew KennedyMake ty opaque in Typing_defs (part 3)
 commit | commitdiff | tree
2020-01-16 Andrew KennedyMake ty opaque in Typing_defs (part 1)
 commit | commitdiff | tree
2020-01-05 Andrew KennedyAdd on_error to ety_env environment
 commit | commitdiff | tree
2019-12-18 Andrew KennedyReturn type for hh pseudo functions should be void
 commit | commitdiff | tree
2019-12-06 Andrew KennedyEnd fixed point iteration early if we reach a fixed...
commit | commitdiff | tree
2019-12-05 Andrew KennedyRemove unnecessary use of Errors.try
 commit | commitdiff | tree
2019-11-28 Andrew KennedyRemove some uses of Errors.try (5)
 commit | commitdiff | tree
2019-11-28 Andrew KennedyRemove use of Errors.try in coercion processing
 commit | commitdiff | tree
2019-11-27 Andrew KennedyRemove another use of Errors.try
 commit | commitdiff | tree
2019-11-27 Andrew KennedyRemove Errors.try_add_err
 commit | commitdiff | tree
2019-11-27 Andrew KennedyReport type const subsumption error at use site
 commit | commitdiff | tree
2019-11-21 Andrew KennedyRemove some uses of Errors.try (2)
 commit | commitdiff | tree
2019-11-21 Andrew KennedyRemove some uses of Errors.try (3)
 commit | commitdiff | tree
2019-11-21 Andrew KennedyRemove uses of try_add_err
 commit | commitdiff | tree
2019-11-19 Andrew KennedyRemove some uses of Errors.try (4)
 commit | commitdiff | tree
2019-11-08 Andrew KennedyRemove final uses of is_sub_type_LEGACY_DEPRECATED
 commit | commitdiff | tree
2019-11-08 Andrew KennedyRemove more uses of is_sub_type_LEGACY_DEPRECATED
 commit | commitdiff | tree
2019-11-07 Andrew KennedyPut subtype_prop helpers in separate module
 commit | commitdiff | tree
2019-11-06 Andrew KennedyRemove some uses of is_sub_type_LEGACY_DEPRECATED
 commit | commitdiff | tree
2019-11-01 Andrew KennedyRun simplify_subtype during transitive closure
 commit | commitdiff | tree
2019-10-16 Andrew KennedyAnalyse scope of pipe variable in typing, not naming
 commit | commitdiff | tree
2019-10-14 Andrew KennedyFix leak of using variable into catch
 commit | commitdiff | tree
2019-10-10 Andrew KennedyRemove tyvars functions from TAST interface
 commit | commitdiff | tree
2019-10-10 Andrew KennedySimplify linter_equality_check by using inferred type...
commit | commitdiff | tree
2019-10-09 Andrew KennedyPersist inferred type arguments in TAST
 commit | commitdiff | tree
2019-10-08 Andrew KennedyRemove unused function from Typing_phase
 commit | commitdiff | tree
2019-10-04 Andrew KennedyUse ty instead of fun_ty for shallow decl methods
 commit | commitdiff | tree
2019-10-04 Andrew KennedySupport syntax for union and intersection types
 commit | commitdiff | tree
2019-10-03 Andrew KennedyRemove ft_pos and add positions to elements
 commit | commitdiff | tree
2019-10-03 Andrew KennedyRemove ft_deprecated and ft_decl_errors
 commit | commitdiff | tree
2019-10-03 Andrew KennedyRemove dead min_vis functions from Typing_visibility
 commit | commitdiff | tree
2019-09-23 Andrew KennedyGenerate array_map decl type
 commit | commitdiff | tree
2019-09-23 Andrew KennedySplit special function signature creation into separate...
commit | commitdiff | tree
2019-09-17 Andrew KennedyRemove ft_abstract from fun_type
 commit | commitdiff | tree
2019-09-05 Andrew KennedyDo not use continuation for obj_get or class_get
 commit | commitdiff | tree
2019-08-16 Andrew KennedyCorrectly account for variadic parameters in variance...
commit | commitdiff | tree
2019-08-14 Andrew KennedyRemove decl_ty return from obj_get and class_get
 commit | commitdiff | tree
2019-08-13 Andrew KennedyRemove redundant fty_decl from typing code
 commit | commitdiff | tree
2019-08-13 Andrew KennedyAdd "enforced" attribute to parameter and return types
 commit | commitdiff | tree
2019-08-12 Andrew KennedyExplicit attribute for generics
 commit | commitdiff | tree
2019-07-31 Andrew KennedyReplace checks on enum declaration with subtype checks
 commit | commitdiff | tree
2019-07-30 Andrew KennedySimplify obj_get implementation (part 1)
 commit | commitdiff | tree
2019-07-30 Andrew KennedyImplement generic typing rules for unions, intersections...
commit | commitdiff | tree
2019-07-29 Andrew KennedySimplify class_get implementation (part 2)
 commit | commitdiff | tree
2019-07-29 Andrew KennedySimplify class_get implementation (part 1)
 commit | commitdiff | tree
2019-07-25 Andrew KennedyDo not needlessly compute type of result of array append
 commit | commitdiff | tree
2019-07-25 Andrew KennedyDo not needlessly compute type of result of array assignment
 commit | commitdiff | tree
2019-07-23 Andrew KennedyBreak mutual recursion: solver
 commit | commitdiff | tree
2019-07-23 Andrew KennedyBreak mutual recursion: sub_string
 commit | commitdiff | tree
2019-07-23 Andrew KennedyNew inference: constraint-based async lambda
 commit | commitdiff | tree
2019-07-23 Andrew KennedyIntroduce check for redundant use of generic parameters
 commit | commitdiff | tree
2019-07-22 Andrew KennedyTreat inout parameters as invariant for purposes of...
commit | commitdiff | tree
2019-07-17 Andrew KennedyUnify newtype and enum representations
 commit | commitdiff | tree
next