summaryrefslogtreecommitdiff
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-25TODO - Just a few moreJohn Hodge1-0/+2
2016-08-24AST - More defensive `self: Box<Self>` codeJohn Hodge1-0/+3
2016-08-24TODO - Add a couple of cleanup itemsJohn Hodge1-0/+2
2016-08-24AST - Hackily support `self: Box` syntaxJohn Hodge3-3/+17
2016-08-24Misc - Clean up, add a `time` hack to MakefileJohn Hodge2-1/+2
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 Hodge6-0/+197
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 Hodge4-286/+297
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-22README - Spelling fix passJohn Hodge1-3/+3
2016-08-22README - Updated readme with new progress and subtly changed goalsJohn Hodge2-10/+8
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 Hodge3-32/+167
2016-08-21Notes - Add a TODO itemJohn Hodge1-1/+1
2016-08-21MIR Gen Match - (minor) Note a TODOJohn Hodge1-0/+1
2016-08-21Notes MIR - Validation and optimisation notesJohn Hodge1-0/+18
2016-08-21HIR Typecheck - Full Copy checkingJohn Hodge1-3/+23
2016-08-21HIR Typecheck Static - Extended Copy checkingJohn Hodge1-1/+18