summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-12-03HIR/MIR - VTable workJohn Hodge19-42/+201
2016-12-02HIR Trans Enumerate - Coming alongJohn Hodge3-63/+128
2016-12-02HIR Specialisation - Compare bound listsJohn Hodge1-7/+28
2016-12-02HIR Specialistion - Rough up bound support in specialistionJohn Hodge3-3/+99
2016-12-01Trans - Enumeration work structured out, vtables hacked inJohn Hodge15-48/+302
2016-11-27Trans - Initial rough up (untested) of enumerationJohn Hodge5-0/+441
2016-11-27HIR - Move impl parameters from node to the pathJohn Hodge8-15/+25
2016-11-27HIR Typecheck Expr - Performance fixJohn Hodge1-3/+1
2016-11-27HIR Typecheck Expr - Reorder some revisit registrations for efficiencyJohn Hodge1-9/+9
2016-11-27HIR Typecheck Expr - Don't take guesses if an ivar was aliasedJohn Hodge1-1/+1
2016-11-27HIR Typecheck Expr - Shadow ivars impacted by ivar guessesJohn Hodge1-29/+45
2016-11-27HIR Typecheck Expressions - Remove hack and start cleaning up typecheck errorsJohn Hodge1-27/+43
2016-11-26HIR Serialise - Remove useless printJohn Hodge1-1/+1
2016-11-26Expand - Emit rustc diagnostics arrays (empty)John Hodge2-1/+39
2016-11-26Expand/format_args! - Handle named argument for widthJohn Hodge1-7/+36
2016-11-26Lex - Fix line counts when newlines are in stringsJohn Hodge1-0/+1
2016-11-26HIR Annotate - Fix annotation on CallValue argumentsJohn Hodge3-3/+8
2016-11-25HIR Expand - Fix usage annotations for _CallValueJohn Hodge2-2/+29
2016-11-25HIR Typecheck Expressions - Merge non-coercable optionsJohn Hodge1-4/+0
2016-11-25HIR - Shift markings to their own pass, store in crate metadata.John Hodge8-56/+184
2016-11-25HIR Bind - Visit all generic pathsJohn Hodge2-0/+8
2016-11-25HIR Expand Type Aliases - Visi generic pathsJohn Hodge1-0/+4
2016-11-24HIR Typecheck Expr - Defer unsize to TraitObject if there are magic parametersJohn Hodge1-0/+5
2016-11-24HIR Typecheck Expr - Allow inner coerce in match valueJohn Hodge1-2/+3
2016-11-24Parse - Keep ABI for ExternBlock contentsJohn Hodge2-5/+10
2016-11-24HIR Typecheck Expressions - Coercions of safe to unsafe function pointersJohn Hodge2-5/+28
2016-11-23HIR Typecheck Expr - Unify redefinitions of bindingsJohn Hodge1-6/+12
2016-11-23HIR Typecheck Expr - Search for trait methods on all typesJohn Hodge1-54/+54
2016-11-23HIR Typecheck Expressions - Eliminate impossible target typesJohn Hodge1-17/+44
2016-11-23macro_rules! - Rework handling of captures to support arms with mismatching ↵John Hodge1-119/+53
capture indexes
2016-11-23HIR Typecheck Expressions - Another ivar guess ruleJohn Hodge1-1/+31
2016-11-23Resolve - Place struct enum variants in the type namespace, fix ↵John Hodge4-5/+21
serialisation bug
2016-11-23Resolve Index - Handle paths pointing to crate rootsJohn Hodge1-0/+4
2016-11-23Parse - Allow assignment within returnJohn Hodge1-1/+1
2016-11-23HIR Expand TypeAlias - Fix small gapJohn Hodge2-1/+9
2016-11-23HIR - More complete SplitTuple pattern handlingJohn Hodge4-3/+62
2016-11-22HIR Typecheck Expr - Fix dumb SplitTuple bugJohn Hodge1-1/+1
2016-11-22HIR Typecheck Expr - Construct a fake TraitObject for Unsize magicJohn Hodge1-8/+25
2016-11-22Resolve Absolute - Search value scope for tuple struct patternsJohn Hodge2-3/+14
2016-11-22Resolve Absolute - Replace a TODO with the return it should have beenJohn Hodge1-1/+1
2016-11-22HIR Typecheck - Expand assocated types in outer typecheckJohn Hodge2-49/+26
2016-11-22MIR Gen - (minor) Better error message for invalid result type from literalJohn Hodge1-0/+1
2016-11-22HIR Expand Closures - Better expand of closure types in capturesJohn Hodge1-1/+2
2016-11-22HIR Typecheck Expressions - Avoid inferring literal ivars to non-literalsJohn Hodge1-0/+35
2016-11-22HIR Serialise - Slightly better debuggingJohn Hodge1-3/+3
2016-11-22macro_rules! - Handle cases where :ident and :expr appear in the same positionJohn Hodge1-2/+89
2016-11-22HIR Typecheck - Function to *const u8John Hodge2-2/+2
2016-11-22HIR Typecheck Validate - Auto trait searching in staticJohn Hodge2-16/+237
2016-11-21HIR Typecheck Static - Auto trait searchJohn Hodge1-8/+15
2016-11-21HIR Typecheck Expr - Look up methods and trait impls for associated types in ↵John Hodge1-16/+109
trait definiton where clause