summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-08-25HACK - Assume that unknown-sized arrays compare equalJohn Hodge1-1/+4
2016-08-25AST - Move receiver marking to HIR conversion (post resolution)John Hodge3-75/+28
2016-08-25Parse - What an interesting featureJohn Hodge2-0/+82
2016-08-24AST - More defensive `self: Box<Self>` codeJohn Hodge1-0/+3
2016-08-24AST - Hackily support `self: Box` syntaxJohn Hodge3-3/+17
2016-08-24Misc - Clean up, add a `time` hack to MakefileJohn Hodge1-1/+0
2016-08-24MIR Gen - Handle StructConstant and StructConstructor itemsJohn Hodge1-2/+9
2016-08-24HIR - (minor) Fix incorrect message when a value item can't be foundJohn Hodge1-1/+1
2016-08-24HIR From AST - Fix emitting tuple/value constructors for named-field structsJohn Hodge1-1/+1
2016-08-24HIR Expand Closures - Fix mangling of destructured argumentsJohn Hodge1-4/+3
2016-08-24HIR - Fix bad clone function for GenericParamsJohn Hodge1-2/+2
2016-08-24HIR Expand Closures - Bind closure typeJohn Hodge2-26/+40
2016-08-24MIR Gen - Use argument typesJohn Hodge4-6/+11
2016-08-24HIR Expand Reborrow - Handle return value reborrowing, reborrow inside blockJohn Hodge1-21/+24
2016-08-24MIR Gen - Move variable states to function state (instead of scope)John Hodge3-28/+23
2016-08-24MIR Gen - Further span propagationJohn Hodge3-29/+32
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