summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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
2016-06-13Update README with current progressJohn Hodge1-3/+5
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
2016-06-11HIR Typecheck - Insert i32/f64 defaultsJohn Hodge3-1/+28
2016-06-11HIR Typecheck - Call function typesJohn Hodge1-1/+3
2016-06-11HIR Typecheck - Fix pattern propagationJohn Hodge3-39/+82
2016-06-11Parse - Fix parsing of parens in typesJohn Hodge1-10/+5
2016-06-11HIR Typecheck - Fields workingJohn Hodge4-14/+27
2016-06-11HIR Typecheck - Start work on field typesJohn Hodge3-1/+151
2016-06-11HIR Typecheck - Function typesJohn Hodge1-3/+18
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge15-113/+309
2016-06-11HIR Typecheck - Fixes for `trait Int: Add<Self>`John Hodge7-29/+128
2016-06-11HIR Typecheck - autoderef arrays to slices, don't check method if unknownJohn Hodge5-4/+33
2016-06-11HIR - (cleanup) Make method to handle creating new array typesJohn Hodge3-6/+9
2016-06-11HIR Typecheck - Unsize to trait objectsJohn Hodge2-4/+54
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge9-30/+60
2016-06-11HIR Typecheck - Trait object comparison/manipulationJohn Hodge5-26/+44
2016-06-11HIR Typecheck - Search methods inside &-ptrs before on the &-ptrJohn Hodge2-102/+129
2016-06-11HIR Typecheck - ConstantsJohn Hodge8-7/+126
2016-06-10HIR Typecheck - Tweaking, progress is being madeJohn Hodge3-30/+39