summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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 Hodge2-864/+1006
2016-07-03HIR Typecheck CS - Starting work on runJohn Hodge2-5/+31
2016-07-03HIR Typecheck - Allow easy selection of CSJohn Hodge5-373/+212
2016-07-03HIR Typecheck - Rename a few thingsJohn Hodge6-6/+6
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 Hodge10-288/+523
2016-07-02HIR TypeCheck CS - Working on structure/enum varaintsJohn Hodge2-6/+100
2016-07-02HIR - CS Typecheck work, Store 'is_struct' flag in StructLiteral nodeJohn Hodge4-40/+161
2016-07-02HIR Typecheck - Drafting up a "Constraint Solver" type inferrence engineJohn Hodge3-1/+507
2016-06-27Notes - Add notes on HIR restructure (implemented)John Hodge1-0/+84
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 Hodge4-15/+86
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 Hodge5-10/+65
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 Hodge4-14/+138
2016-06-13Add licence (MIT)John Hodge1-0/+25
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-19 17:05:57 +0000