summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2016-08-08Main - Restrict precion of printed elapsed timeJohn Hodge1-1/+2
2016-08-08HIR Typecheck+Expand - Type annotations to allow generated closure code to passJohn Hodge4-124/+273
2016-08-08Main - Remove defunct stageJohn Hodge1-4/+2
2016-08-08HIR Typecheck Validate - Handle lack of closure codeJohn Hodge1-4/+7
2016-08-08HIR Expand Closures - Completing nowJohn Hodge2-13/+26
2016-08-08main - Enable closure expansion (currently crashes)John Hodge1-0/+4
2016-08-08HIR - Store the binding types for an expression for use in later stagesJohn Hodge3-2/+10
2016-08-07HIR Expand Closures - Expansion complete, untestedJohn Hodge1-53/+214
2016-08-07HIR - Add clone method to GenericParamsJohn Hodge2-0/+52
2016-08-07HIR Expand Closures - Start on generating implsJohn Hodge1-9/+163
2016-08-07HIR - Add clone() method to Pattern (and a few constructors)John Hodge2-0/+137
2016-08-07HIR Typecheck CS - Include used trait for CallValue (for codegen)John Hodge2-3/+49
2016-08-07HIR Expand Closures - Fleshing out, almost ready to call from mainJohn Hodge2-5/+99
2016-08-07HIR - Start work on closure expansionJohn Hodge4-0/+363
2016-08-06Main - Disable logging for `Typecheck Expressions`John Hodge1-1/+2
2016-08-06HIR Typecheck - (minor) CommentingJohn Hodge1-0/+1
2016-08-06HIR - Start on closure annotationsJohn Hodge1-0/+10
2016-08-06HIR Typecheck Validate - More cast rulesJohn Hodge1-0/+10
2016-08-06HIR Typecheck Validate - Structure for cast checkingJohn Hodge1-6/+35
2016-08-06HIR Typecheck CS - `self` class determiningJohn Hodge1-16/+55
2016-08-06HIR Typecheck Validate - Add HIR recursion logs to aid debuggingJohn Hodge1-0/+28
2016-08-06HIR Conv - Fix bad trait args in UFCS trait selectionJohn Hodge3-3/+36
2016-08-06HIR Typecheck Outer - Recurse when UFCS replacedJohn Hodge1-0/+2
2016-08-06HIR Typecheck Validate - Handle tuple indexingJohn Hodge1-6/+14
2016-08-06HIR - Fix pointer equality in TypeRef::operator==John Hodge1-1/+1
2016-08-06HIR Typecheck CS - Fix inserted borrow in coercionsJohn Hodge1-1/+4
2016-08-06Expand Derive - Add more complete trait bounds to all derived implsJohn Hodge1-20/+16
2016-08-06HIR - (minor) Reduce expand_associated_types logging, turn TODO into BUG in ↵John Hodge2-3/+2
HIR lower for ?
2016-08-06Expand - Fix ? desugarJohn Hodge1-2/+18
2016-08-06HIR Typecheck CS - Bound Self in UfcsKnown callsJohn Hodge1-3/+5
2016-08-06Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge2-10/+78
2016-08-06HIR Typecheck CS - Add cast when &T used for *const TJohn Hodge1-0/+6
2016-08-06HIR Typecheck - Add deref/ref in method callsJohn Hodge2-2/+46
2016-08-05HIR Typecheck CS - Apply ivars to cachesJohn Hodge1-0/+15
2016-08-05HIR Typecheck CS - Apply ivars to paths in various locationsJohn Hodge1-19/+35
2016-08-05HIR Typecheck CS - Add cast when going from &T to *const TJohn Hodge1-0/+11
2016-08-05HIR Typecheck Check - ! matches anythingJohn Hodge1-1/+8
2016-08-05HIR Typecheck CS - Extended applyJohn Hodge1-6/+33
2016-08-05HIR Typecheck CS - Fix borrow result type when borrow isn't added by coercionJohn Hodge1-1/+5
2016-08-05HIR Typecheck - Corrected match quality for magic fn() implsJohn Hodge1-4/+12
2016-08-04HIR Typechck CS - Cleanup and work on correcting inferrence errorsJohn Hodge1-72/+104
2016-08-04HIR Typecheck CS - When an ivar is unknown but of a set, pick the most ↵John Hodge1-15/+103
liberal type
2016-08-03HIR Typecheck CS - Fixed case where an ivar was incorrectly reducedJohn Hodge1-0/+22
2016-08-03Expand Derive - Working extra boundsJohn Hodge1-5/+8
2016-08-03Expand Derive - Rough bounding of related typesJohn Hodge1-32/+45
2016-08-03Expand Derive - Work on adding bounds for associated typesJohn Hodge1-1/+136
2016-08-03Expand Derive - Clean up codegen with more macroJohn Hodge1-86/+94
2016-08-03Expand Derive - Add trait bounds for Debug implsJohn Hodge1-16/+23
2016-08-03HIR Typecheck CS - Add Unsize insertion for TraitObject coerceJohn Hodge1-9/+8
2016-08-03HIR Typecheck CS - Add Unsize supportJohn Hodge1-29/+15