summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-07-05HIR Typecheck CS - Associated types and trait boundsJohn Hodge1-65/+31
2016-07-05HIR Typecheck - Rework trait impl searching to provide type returnedJohn Hodge5-29/+52
2016-07-05HIR Typecheck CS - Fix failure of single option inferrence, start on ↵John Hodge4-36/+147
associate types
2016-07-05HIR Typecheck CS - Draft listing of ivar optionsJohn Hodge2-4/+79
2016-07-05HIR Typecheck CS - Pointer castsJohn Hodge1-1/+46
2016-07-05HIR Typecheck CS - Hacked up autoderef coercionsJohn Hodge1-12/+118
2016-07-04HIR Typecheck CS - Debug printing of structuresJohn Hodge1-9/+44
2016-07-03HIR Typecheck CS - Handle literal types in coercionJohn Hodge1-2/+19
2016-07-03HIR Typecheck CS - Proper type eqality checkingJohn Hodge1-20/+170
2016-07-03HIR Typecheck CS - Apply/check inferrenceJohn Hodge1-2/+77
2016-07-03HIR Typecheck CS - Methods and rough coercionsJohn Hodge1-12/+165
2016-07-03HIR Typecheck CS - Move call cache population out of visitorJohn Hodge1-174/+173
2016-07-03HIR Typecheck - Move TraitResolve to helpers.cppJohn Hodge5-1038/+981
2016-07-03HIR Typecheck - Move trait-related logic to a common classJohn Hodge6-393/+451
2016-07-03HIR Typecheck CS - Prep for running nodesJohn Hodge1-854/+994
2016-07-03HIR Typecheck CS - Starting work on runJohn Hodge2-5/+31
2016-07-03HIR Typecheck - Allow easy selection of CSJohn Hodge4-373/+211
2016-07-03HIR Typecheck - Rename a few thingsJohn Hodge5-4/+4
2016-07-03HIR Typecheck CS - Almost ready to invokeJohn Hodge1-15/+217
2016-07-03HIR Typecheck CS - Function call hackupJohn Hodge2-8/+191
2016-07-03HIR Typecheck - CS - Method trait listJohn Hodge2-15/+51
2016-07-03HIR Typecheck - "Fix" breakageJohn Hodge1-2/+2
2016-07-03HIR Typecheck - MiscJohn Hodge2-95/+5
2016-07-03HIR Typecheck - Deduplicate IVar handlingJohn Hodge5-219/+871
2016-07-02HIR Typecheck - Unified Struct/Enum data structures, CS coming alongJohn Hodge9-287/+522
2016-07-02HIR TypeCheck CS - Working on structure/enum varaintsJohn Hodge1-6/+99
2016-07-02HIR - CS Typecheck work, Store 'is_struct' flag in StructLiteral nodeJohn Hodge3-35/+152
2016-07-02HIR Typecheck - Drafting up a "Constraint Solver" type inferrence engineJohn Hodge1-0/+471
2016-06-26HIR Typecheck - Fn type handlingJohn Hodge3-2/+6
2016-06-26HIR Typecheck - Support function pointers to methodsJohn Hodge2-2/+81
2016-06-26HIR Typecheck - Recursively resolve associated types, hack in TraitObject coerceJohn Hodge1-7/+13
2016-06-26HIR Typecheck - Fuzzy impl matching to allow selection of += impl for usizeJohn Hodge5-44/+87
2016-06-26HIR Typecheck - Comment on inferrence qurikJohn Hodge1-0/+1
2016-06-26HIR Typecheck - Hacking to piecesJohn Hodge3-15/+85
2016-06-25HIR Typecheck - Propagate types during enum pass. Fix ! handlingJohn Hodge2-10/+48
2016-06-24HIR Typecheck - Add change marking when new ivar is addedJohn Hodge2-1/+2
2016-06-24HIR Typecheck - Handling of `impl Trait {}` blocks properlyJohn Hodge4-9/+64
2016-06-24HIR Typecheck - Trait object impl blocksJohn Hodge3-25/+155
2016-06-24HIR Typecheck - Equate return type before arguments (hacks around failure)John Hodge1-159/+184
2016-06-24TypeCheck - minor cleanup and stubbed CoerceUnsizedJohn Hodge3-11/+134
2016-06-13HIR - Fix type parameter counts during bindJohn Hodge2-0/+33
2016-06-13HIR Typecheck - Search for Deref impl in * operatorJohn Hodge2-1/+17
2016-06-13HIR Typecheck - Handle monomorphising field typesJohn Hodge1-2/+16
2016-06-13HIR Typecheck - Handle generics when searching for BinOp implsJohn Hodge1-7/+34
2016-06-13HIR - Fix name resolution of `Type::method` to search inherent then traitsJohn Hodge4-53/+85
2016-06-13HIR Typecheck - Rough deref coercionsJohn Hodge1-2/+41
2016-06-12HIR Typecheck - Don't assume 'prim <<= prim' is has both equalJohn Hodge2-4/+5
2016-06-12HIR Typecheck - TODO cleanupJohn Hodge1-3/+11
2016-06-12HIR - Trait scoping fixesJohn Hodge11-39/+117
2016-06-12HIR Typecheck - Defer `if` inferrence until iteration, fixes mismatched branchesJohn Hodge2-10/+10
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-08 00:57:24 +0000