summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2016-10-08Makefile - Add the `hello` testJohn Hodge1-1/+4
2016-10-08HIR+AST - Store/Load/Use extern crate list from loaded cratesJohn Hodge4-3/+25
2016-10-08HIR+MIR - Correct handling of diverging loopsJohn Hodge5-19/+58
2016-10-08main - Dump MIR before validationJohn Hodge1-4/+5
2016-10-08HIR Closures - Rework to correctly support borrow typesJohn Hodge4-59/+122
2016-10-08MIR Gen - Allow casts to all integer types from pointersJohn Hodge1-1/+2
2016-10-08MIR Gen Match - Slice decision tree codegenJohn Hodge1-9/+90
2016-10-08HIR Gen Match - Structure support for slices in DTJohn Hodge1-10/+97
2016-10-07MIR Gen Match - (minor) Sort code a little bitJohn Hodge1-549/+552
2016-10-07MIR Gen Match - Slice matchingJohn Hodge2-81/+81
2016-10-07MIR Gen Match - Rough bytestring supportJohn Hodge2-9/+57
2016-10-07MIR Gen Match - (Simple) support array patternsJohn Hodge1-1/+15
2016-10-07MIR Gen - Destructure array patternsJohn Hodge4-7/+69
2016-10-07MIR Gen Match - (Simple) Handle enum variants with no sub-patternsJohn Hodge1-0/+7
2016-10-07MIR Gen Match - Only sort patterns when there's multipleJohn Hodge1-20/+29
2016-10-07MIR Gen Match - Struct patternsJohn Hodge1-3/+22
2016-10-07MIR Gen - Handle no-op castsJohn Hodge1-2/+7
2016-10-07MIR Gen Match - Signed integer branch generationJohn Hodge1-0/+62
2016-10-07MIR Gen Match - Signed integer valuesJohn Hodge1-46/+65
2016-10-07MIR From HIR Match - Array patternsJohn Hodge1-2/+35
2016-10-07MIR From HIR - Enum variant _PathValue support hacked inJohn Hodge1-0/+18
2016-10-07HIR Typecheck Expr - Use bounds from traits for opaque associated typesJohn Hodge4-1/+101
2016-10-07HIR Typecheck Static - Expand associated types in monomorphised bound types, ↵John Hodge1-1/+4
allow ivars
2016-10-07HIR Typecheck Common - Reduce spammyness of monomorphise_typeJohn Hodge1-15/+23
2016-10-07HIR Typecheck Expr - (minor) Fiddling with find_named_trait_in_traitJohn Hodge1-3/+7
2016-10-07HIR Typecheck Expr - TraitObject supertraits in expand_associated_typesJohn Hodge1-0/+27
2016-10-06HIR Typecheck Expr - Expand ivars in patterns, fix pattern types, expand ↵John Hodge1-25/+45
ivars in TraitObject type bounds
2016-10-06main - Dump the HIR before typecheck validation passJohn Hodge1-5/+4
2016-10-06Parse - Save unsafety for function pointer typesJohn Hodge4-12/+18
2016-10-05HIR Typecheck Validate - Allow vardic functionsJohn Hodge1-1/+5
2016-10-05HIR Dump - Avoid parens in a few casesJohn Hodge1-6/+22
2016-10-05HIR Typecheck Validate - Allow no-op castsJohn Hodge1-0/+6
2016-10-05HIR Typecheck Static - TraitObject trait lookupJohn Hodge1-1/+47
2016-10-05HIR Expand Closures - Propagate value usage for replaced variablesJohn Hodge1-0/+1
2016-10-05HIR Expand Calls - Expand _Deref for genericsJohn Hodge1-1/+6
2016-10-05Expand derive - Hash (and enable error when an unexpected trait is seen)John Hodge1-1/+156
2016-10-05Expand derive - DefaultJohn Hodge1-2/+79
2016-10-05Resolve+Typecheck - Fix trait default parametersJohn Hodge4-90/+153
2016-10-03HIR - Hack: Treat impl placeholder generics as ivars in match_test_generics_fuzzJohn Hodge2-0/+16
2016-10-03Expand/derive - OrdJohn Hodge1-1/+258
2016-10-03HIR Typecheck Expr - Add bounds from impl blocks as rulesJohn Hodge1-2/+5
2016-10-03HIR Typecheck Expr - Add inferrence default of `Box<data_ty>` for EmplaceJohn Hodge1-0/+13
2016-10-03HIR Typecheck Expr - Fix incorrect param for Unsize<> between arrays and slicesJohn Hodge1-1/+2
2016-10-03HIR Typecheck Expr - Allow borrow coercions when a downgrade reborrow happensJohn Hodge1-9/+13
2016-10-03HIR Typecheck Expr - Link ivars through unsizing coercionsJohn Hodge1-3/+26
2016-10-03Parse - Fix bad datatype for negative numbersJohn Hodge2-6/+4
2016-10-03HIR Typecheck Expr - Fix param counts on enum var constructor valuesJohn Hodge1-0/+1
2016-10-03HIR+AST - Handle bytestring patternsJohn Hodge9-2/+22
2016-10-02Expand - Derive PartialOrdJohn Hodge2-27/+295
2016-10-02AST - Store the mutability of & patternsJohn Hodge3-12/+14