summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-07-07HIR Typecheck CS - Closures don't coerce yetJohn Hodge1-1/+5
2016-07-07HIR Typecheck CS - Expect inner block of loop{} to yield ()John Hodge1-0/+3
2016-07-07HIR Typecheck CS - Equate ! with anythingJohn Hodge1-0/+9
2016-07-07HIR Typecheck CS - Store clones of possible ivar types (prevents use-after-free)John Hodge1-4/+8
2016-07-06HIR Typecheck CS - CallValueJohn Hodge1-27/+107
2016-07-06HIR Typecheck CS - Don't bother coercing when both types are already equalJohn Hodge1-0/+5
2016-07-06HIR Typecheck CS - Don't expand associated unless needed when compactingJohn Hodge1-3/+7
2016-07-06HIR Typecheck CS - Expand associated types before doing an equalityJohn Hodge3-2/+91
2016-07-06HIR Typecheck CS - Struct member monomorphiseJohn Hodge2-2/+66
2016-07-06HIR Typecheck - Monomorphise tuple variant typesJohn Hodge1-1/+21
2016-07-06HIR Typecheck CS - Rough solutions to some casesJohn Hodge1-3/+47
2016-07-06HIR Typecheck CS - Ignore CoerceUnsized for nowJohn Hodge1-2/+8
2016-07-06HIR Typecheck CS - Type possibility from src->dst of borrowJohn Hodge1-1/+9
2016-07-05HIR Typecheck CS - Method handling tweaksJohn Hodge2-4/+12
2016-07-05HIR Typecheck CS - Value pattern types, fixed ivar addingJohn Hodge2-2/+16
2016-07-05HIR Typecheck CS - Draft cast handlingJohn Hodge1-2/+61
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-19 22:48:50 +0000