| 2017-03-23 |
Andrew Kennedy | Hack codegen: top-level statements
|
commit | commitdiff | tree |
| 2017-03-23 |
Andrew Kennedy | Hack codegen: fixes for string interpolation
|
commit | commitdiff | tree |
| 2017-03-22 |
Andrew Kennedy | Codegen: fix order and numbering of closure classes
|
commit | commitdiff | tree |
| 2017-03-16 |
Andrew Kennedy | Codegen: lambdas and function application
|
commit | commitdiff | tree |
| 2017-03-14 |
Andrew Kennedy | Codegen: synonyms for casts
|
commit | commitdiff | tree |
| 2017-03-14 |
Andrew Kennedy | Codegen: command-line options for `Hack.Lang.IntsOverflowToI...
|
commit | commitdiff | tree |
| 2017-03-14 |
Andrew Kennedy | Codegen: return type syntax
|
commit | commitdiff | tree |
| 2017-03-13 |
Andrew Kennedy | Codegen: class constants and static field access and...
|
commit | commitdiff | tree |
| 2017-03-13 |
Andrew Kennedy | Codegen: declvars for methods
|
commit | commitdiff | tree |
| 2017-03-13 |
Andrew Kennedy | Codegen: fix relabelling to match DumpHhas
|
commit | commitdiff | tree |
| 2017-03-10 |
Andrew Kennedy | Codegen: simple vs non-simple expressions in switch...
|
commit | commitdiff | tree |
| 2017-03-10 |
Andrew Kennedy | Codegen: correct generation of CGenL2 instructions...
|
commit | commitdiff | tree |
| 2017-03-10 |
Andrew Kennedy | Codegen: class names in extends and implements
|
commit | commitdiff | tree |
| 2017-03-10 |
Andrew Kennedy | Codegen: trivial line spacing diffferences
|
commit | commitdiff | tree |
| 2017-03-10 |
Andrew Kennedy | Codegen: list destructuring
|
commit | commitdiff | tree |
| 2017-03-10 |
Andrew Kennedy | Codegen: array and field update
|
commit | commitdiff | tree |
| 2017-03-08 |
Andrew Kennedy | Codegen: nested array indexing
|
commit | commitdiff | tree |
| 2017-03-06 |
Andrew Kennedy | Codegen: fix evaluation order for binary operations
|
commit | commitdiff | tree |
| 2017-03-04 |
Andrew Kennedy | Remove dependency of codegen on Naming
|
commit | commitdiff | tree |
| 2017-03-03 |
Andrew Kennedy | Codegen: make foreach on nyi lvars produce comment...
|
commit | commitdiff | tree |
| 2017-03-03 |
Andrew Kennedy | Move codegen from Nast to Ast
|
commit | commitdiff | tree |
| 2017-03-03 |
Andrew Kennedy | Capture tpenv at time of add_todo constraint check
|
commit | commitdiff | tree |
| 2017-03-01 |
Andrew Kennedy | Codegen: clone expressions and correct FPass instruction
|
commit | commitdiff | tree |
| 2017-03-01 |
Andrew Kennedy | Codegen: array access (part 1)
|
commit | commitdiff | tree |
| 2017-02-27 |
Andrew Kennedy | Put instanceof on classname<T> under experimental instanceof...
|
commit | commitdiff | tree |
| 2017-02-24 |
Andrew Kennedy | Codegen: post-codegen relabelling
|
commit | commitdiff | tree |
| 2017-02-24 |
Andrew Kennedy | Unify AST and NAST: part 2
|
commit | commitdiff | tree |
| 2017-02-23 |
Andrew Kennedy | Codegen: emit NYI comments for not-yet-implemented...
|
commit | commitdiff | tree |
| 2017-02-23 |
Andrew Kennedy | Unify AST and NAST: part 1
|
commit | commitdiff | tree |
| 2017-02-23 |
Andrew Kennedy | Codegen: instanceof, null coalesce, C::class, cast
|
commit | commitdiff | tree |
| 2017-02-23 |
Andrew Kennedy | Codegen: method call
|
commit | commitdiff | tree |
| 2017-02-22 |
Andrew Kennedy | Codegen: constructor call
|
commit | commitdiff | tree |
| 2017-02-22 |
Andrew Kennedy | Codegen: simple calls
|
commit | commitdiff | tree |
| 2017-02-22 |
Andrew Kennedy | Typed AST: new and call
|
commit | commitdiff | tree |
| 2017-02-20 |
Andrew Kennedy | Mapper for annotations on Annotated AST
|
commit | commitdiff | tree |
| 2017-02-16 |
Andrew Kennedy | Codegen: local variables, assignment, and op-assignment
|
commit | commitdiff | tree |
| 2017-02-16 |
Andrew Kennedy | Codegen: using parameters, parameter & return type...
|
commit | commitdiff | tree |
| 2017-02-16 |
Andrew Kennedy | Codegen: generation and formatting of parameters with...
|
commit | commitdiff | tree |
| 2017-02-15 |
Andrew Kennedy | Codegen: Type aliases for local_id etc
|
commit | commitdiff | tree |
| 2017-02-14 |
Andrew Kennedy | Instruction tree generation
|
commit | commitdiff | tree |
| 2017-02-13 |
Andrew Kennedy | Fix indentation of help text in hh_single_type_check
|
commit | commitdiff | tree |
| 2017-02-09 |
Andrew Kennedy | Support explicit type arguments to new C(...)
|
commit | commitdiff | tree |
| 2017-02-09 |
Andrew Kennedy | Use Typing_subtype.add_constraint consistently
|
commit | commitdiff | tree |
| 2017-02-08 |
Andrew Kennedy | Fix for assignment between newtype and lower-bounded...
|
commit | commitdiff | tree |
| 2017-02-08 |
Andrew Kennedy | Subtype logging
|
commit | commitdiff | tree |
| 2017-01-30 |
Andrew Kennedy | Typed AST: classes
|
commit | commitdiff | tree |
| 2017-01-30 |
Andrew Kennedy | Visitor on annotated AST
|
commit | commitdiff | tree |
| 2017-01-27 |
Andrew Kennedy | Typed AST: statements, top-level functions and constants
|
commit | commitdiff | tree |
| 2017-01-27 |
Andrew Kennedy | Typed AST: uniform embedding of position and type
|
commit | commitdiff | tree |
| 2017-01-27 |
Andrew Kennedy | Text wrap for fixme comments
|
commit | commitdiff | tree |
| 2017-01-26 |
Andrew Kennedy | Introduce Terr in place of Tany for type errors
|
commit | commitdiff | tree |
| 2017-01-16 |
Andrew Kennedy | Reorder NAST definitions and functorize on annotation...
|
commit | commitdiff | tree |
| 2017-01-12 |
Andrew Kennedy | Remove remnants of old typed_ast work
|
commit | commitdiff | tree |
| 2017-01-06 |
Andrew Kennedy | Typed AST: tuple and array constructors, and cast
|
commit | commitdiff | tree |
| 2017-01-06 |
Andrew Kennedy | Typed AST: instance property access
|
commit | commitdiff | tree |
| 2017-01-03 |
Andrew Kennedy | Typed AST: unary and binary primitive operations
|
commit | commitdiff | tree |
| 2017-01-03 |
Andrew Kennedy | Typed AST: await and clone
|
commit | commitdiff | tree |
| 2016-12-21 |
Andrew Kennedy | Typed AST: conditional and null-coalescing expressions
|
commit | commitdiff | tree |
| 2016-12-21 |
Andrew Kennedy | Typed AST: boolean, integer, float, string and null...
|
commit | commitdiff | tree |
| 2016-12-21 |
Andrew Kennedy | Typed AST: Initial definitions and plumbing
|
commit | commitdiff | tree |
| 2016-12-15 |
Andrew Kennedy | Disallow classname<T> in instanceof test
|
commit | commitdiff | tree |
| 2016-12-07 |
Andrew Kennedy | Regression tests for contravariance and constraints
|
commit | commitdiff | tree |
| 2016-12-02 |
Andrew Kennedy | Remove invert_grow_super and fix meth_caller
|
commit | commitdiff | tree |
| 2016-12-01 |
Andrew Kennedy | Extend unification to respect implied equality constraints
|
commit | commitdiff | tree |
| 2016-11-25 |
Andrew Kennedy | Support contravariant subtyping for function type arguments
|
commit | commitdiff | tree |
| 2016-11-23 |
Andrew Kennedy | Minor improvements to type logging
|
commit | commitdiff | tree |
| 2016-11-22 |
Andrew Kennedy | Deprecate direct calls to __toString
|
commit | commitdiff | tree |
| 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 |
