summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-07-09HIR Typecheck CS - (partial) Change handling of patterns to account for ↵John Hodge1-104/+99
associated types
2016-07-09HIR Typecheck CS - Support raw pointer derefJohn Hodge1-3/+22
2016-07-09HIR Typecheck CS - range patternsJohn Hodge1-18/+29
2016-07-09HIR Typecheck CS - Special case for resultant types from 'prim binop prim'John Hodge1-5/+40
2016-07-08HIR Typecheck CS - Reduce log spam by not clearing 'changed' flag when ↵John Hodge2-6/+4
testing for ivar default
2016-07-08HIR Typecheck CS - Apply ivar defaults when nothing else can be doneJohn Hodge1-0/+16
2016-07-08HIR Typecheck CS - Fix ivar handling in fieldJohn Hodge1-17/+26
2016-07-08HIR Typecheck CS - Field accessesJohn Hodge2-4/+45
2016-07-08HIR Typecheck - Magic impls of Fn* for fn pointersJohn Hodge1-4/+33
2016-07-08HIR Typecheck CS - Coercion of fn() to nothing, print fn typesJohn Hodge2-15/+40
2016-07-08HIR Typecheck CS - Autoderef on indexingJohn Hodge1-3/+82
2016-07-07HIR Typecheck CS - Sized traitJohn Hodge1-0/+22
2016-07-07HIR Type - Mark the same ivar as being the EqualJohn Hodge1-0/+5
2016-07-07HIR Typecheck CS - Working `let v: usize = !0;`John Hodge5-10/+71
2016-07-07HIR Typecheck CS - Associated type bounds, hacky handling of deferred type ↵John Hodge3-18/+131
equalities (associated types)
2016-07-07HIR Typecheck CS - Better impl searching, fixed function boundsJohn Hodge3-8/+9
2016-07-07Expand/derive - Rough PartialEq on enumsJohn Hodge1-2/+34
2016-07-07Expand - PartialEq derive hacking upJohn Hodge1-12/+181
2016-07-07HIR Typecheck CS - Closure handling in equate_types and type.cppJohn Hodge2-3/+35
2016-07-07HIR Typecheck - Resolve ivar in searching for trait implJohn Hodge1-1/+2
2016-07-07HIR Typecheck CS - Remove coercion if types are equalJohn Hodge1-0/+4
2016-07-07HIR Typecheck CS - Apply function boundsJohn Hodge1-0/+40
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-26 01:31:39 +0000