summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-08-24MIR Gen - Trait methods in PathValueJohn Hodge1-1/+20
2016-08-24HIR Typecheck Expr - Fix trait selection for CallValueJohn Hodge1-21/+26
2016-08-24MIR Gen - Expand associated after monomorphisationJohn Hodge1-3/+5
2016-08-24HIR Typecheck - Add impl specialisation support to static, fix spelling errorJohn Hodge5-12/+31
2016-08-24HIR Typecheck Static - Move actual logic of expand_associated_types into a ↵John Hodge2-185/+193
helper (better errors)
2016-08-24Expand Derive - Fix move out of borrowJohn Hodge1-15/+21
2016-08-24HIR Expand - Add a reborrow pass (inserts &mut* on by-value &mutJohn Hodge5-0/+196
2016-08-23MIR Gen - More span propagationJohn Hodge2-14/+11
2016-08-23MIR Gen - Emit code for PathValue pointing to a UfcsInherentJohn Hodge1-1/+19
2016-08-23MIR Gen - Span information in assign/dropJohn Hodge4-102/+131
2016-08-23HIR Typecheck - Require span for type_is_copyJohn Hodge9-159/+187
2016-08-23HIR Typecheck - Bettern Copy handling in staticJohn Hodge2-2/+25
2016-08-23MIR - Add a `Const` entry to the MIR::Constant to refer to a named constantJohn Hodge7-13/+110
2016-08-23MIR Gen - Field access with_val_typeJohn Hodge1-2/+31
2016-08-23HIR Typecheck - Fixed method resolution, better Copy detectionJohn Hodge3-40/+113
2016-08-23AST - Fix uninitialised receiver typeJohn Hodge1-0/+1
2016-08-22HIR Typecheck CS - (minor) CleanupJohn Hodge1-11/+4
2016-08-22AST+HIR - Save decoded receiver type for methodsJohn Hodge10-54/+109
2016-08-22HIR Typcheck - Move common code to its own fileJohn Hodge3-285/+296
2016-08-22HIR Typecheck - Split monomorphise_* into a separate headerJohn Hodge6-32/+54
2016-08-22HIR Typecheck - Clean up a few TODOsJohn Hodge1-10/+17
2016-08-22MIR Gen - (minor) Log failing lvalue when &move requiredJohn Hodge1-1/+1
2016-08-22HIT Typecheck - Fix apply to apply variablesJohn Hodge1-9/+23
2016-08-22MIR Gen - (minor) Print type of defined variableJohn Hodge1-1/+1
2016-08-22MIR Gen - Move and drop detection improvedJohn Hodge2-32/+166
2016-08-21MIR Gen Match - (minor) Note a TODOJohn Hodge1-0/+1
2016-08-21HIR Typecheck - Full Copy checkingJohn Hodge1-3/+23
2016-08-21HIR Typecheck Static - Extended Copy checkingJohn Hodge1-1/+18
2016-08-21MIR Gen Match - Fix bug where a block would get magled by condition code ↵John Hodge3-14/+21
(defended against)
2016-08-21MIR Gen Match - Fix un-terminated blocks in DecisionTreeJohn Hodge1-1/+11
2016-08-21MIR Check - Check for `Invalid` terminatorsJohn Hodge2-11/+77
- `Invalid` indicates the block wasn't ended during generation
2016-08-21MIR Dump - Remove arg patterns from argumentsJohn Hodge1-2/+5
2016-08-21MIR Gen - Fix incorrect argument LValuesJohn Hodge1-0/+1
2016-08-21MIR Validate - Stub MIR validation passJohn Hodge4-7/+108
2016-08-21main - (minor) Different name for HIR dump, plan on MIR optJohn Hodge1-1/+8
2016-08-21MIR Gen - Mark values used in calls as movedJohn Hodge2-3/+5
2016-08-21MIR Gen - Include Copy checkingJohn Hodge3-19/+138
2016-08-21MIR Gen - Move `MirBuilder` class to its own fileJohn Hodge2-652/+663
2016-08-21MIR Dump - Clean up outputJohn Hodge1-6/+24
2016-08-21HIR Dump - Fix printing of closures (that don't contain a block)John Hodge1-1/+15
2016-08-21HIR Expand - Fix closure conversionJohn Hodge3-8/+93
2016-08-21MIR Gen - Rework to have proper drop scopes (INCOMPLETE)John Hodge3-133/+587
2016-08-20MIR Gen - Draft drop insertionJohn Hodge3-52/+376
2016-08-20AST - Remove unused AST serialisation codeJohn Hodge18-902/+53
2016-08-20MIR Gen - Emit trailing return valueJohn Hodge1-0/+10
2016-08-20MIR Gen - Fix codegen issue with use of moved LValueJohn Hodge2-6/+35
2016-08-20MIR Gen - Add loggingJohn Hodge3-0/+50
2016-08-20Debug - Reduce amount of debug spamJohn Hodge2-2/+14
2016-08-20MIR Dump - Rough dump pass, exposes junk data somewhereJohn Hodge4-2/+392
2016-08-20HIR Dump - Initial support, verbose but completeJohn Hodge5-9/+654