summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
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
2016-06-12HIR Typecheck - &mut -> & reborrowJohn Hodge1-0/+19
2016-06-12Parse - Don't stick a () after return/break/continueJohn Hodge1-0/+15
2016-06-12HIR Typecheck - Rework handling of trait impl searchingJohn Hodge7-276/+384
2016-06-12HIR Typecheck - Fix edge case where monomorph was used on local typeJohn Hodge2-6/+25
2016-06-12HIR Typecheck - Infer index type if only one optionJohn Hodge1-2/+16
2016-06-12HIR Typecheck - Work around monomorph failure when part of associated typeJohn Hodge2-22/+114
2016-06-12Parse - Fix incorrect handling of trailing semicolonsJohn Hodge3-42/+21
2016-06-12HIR Typecheck - Assign ops minor fixJohn Hodge2-2/+22
2016-06-12HIR Typecheck - Get types from unit variantsJohn Hodge2-39/+82
2016-06-12HIR Typecheck - Rough index operator supportJohn Hodge3-46/+86
2016-06-12Resolve - Fix variable scopingJohn Hodge2-8/+35
2016-06-12HIR Typecheck - Restructure handling of primtives in BinOpJohn Hodge3-79/+152