summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-08-09MIR - Construction code completed, but untested (and some stubs)John Hodge3-2/+400
2016-08-09MIR - Draft (but incomplete) match handling, extra structureJohn Hodge1-21/+260
2016-08-09Tagged Union - Fix TU_MATCHA to workJohn Hodge1-1/+1
2016-08-09MIR - Work on lowering, not included yet and incompleteJohn Hodge2-1/+151
2016-08-08MIR - Draft structureJohn Hodge4-0/+246
2016-08-08HIR Expand UFCS - (minor) Remove unneeded commented codeJohn Hodge1-2/+0
2016-08-08HIR Expand UFCS - Pass that replaces all call types with path-based callsJohn Hodge4-1/+251
2016-08-08HIR Typecheck Validate - (minor) Remove dead codeJohn Hodge1-5/+0
2016-08-08HIR ExprPtr - Support resetting internal pointerJohn Hodge2-0/+6
2016-08-08HIR Expand Closures - (minor) commentingJohn Hodge1-4/+2
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 Hodge3-0/+362
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