summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
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
2016-10-02HIR Typecheck Expr - Handle use of slice/array patterns with arraysJohn Hodge1-9/+117
2016-10-02HIR Typecheck Expr - Bind Self type in UfcsInherent call, fix trait param ↵John Hodge1-35/+31
count in UfcsKnown
2016-10-02HIR Typecheck Expr - Handle Self in trait_contains_methodJohn Hodge2-7/+18
2016-10-02HIR Typecheck Expr - (minor) Update commentsJohn Hodge1-2/+2
2016-10-01HIR - Store and use annotations for CoerceUnsized (and prepare markings for ↵John Hodge7-11/+134
other traits)
2016-10-01HIR Typecheck Expr - (minor) Clean up lang item lookup in find_trait_implsJohn Hodge1-15/+19
2016-10-01AST Dump - Include binding index in patternsJohn Hodge1-1/+3
2016-10-01Resolve Absolute - Fix closure args not being scoped to the closureJohn Hodge1-0/+5
2016-10-01HIR Typecheck Expr - Better TraitObject trait searching, _CallValue extendedJohn Hodge2-19/+64
2016-10-01(minor) Add TODO regarding by-borrow closure capturesJohn Hodge2-0/+2
2016-10-01HIR Typecheck Expr - Handle posibly-diverging loop blocks correctlyJohn Hodge4-9/+36
2016-10-01HIR Type - Handle lhs ivar in match_test_generics_fuzzJohn Hodge1-1/+43