summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-10-24MIR Ptr - Implement destructorJohn Hodge1-0/+9
2016-10-24Expand - Fix missed bugs in merging of impls into item listJohn Hodge1-39/+21
2016-10-24AST - Remove separate impls list (now in item list)John Hodge8-128/+87
2016-10-23HIR Typecheck Validate - Fix minor bugJohn Hodge1-2/+3
2016-10-23Misc - Tiny changes to get farther towards compiling rustcJohn Hodge2-8/+6
2016-10-23HIR Lower - Don't panic on HRLsJohn Hodge1-6/+4
2016-10-23Parse - `impl Trait`John Hodge1-0/+25
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge20-79/+324
2016-10-23AST - Remove TypeRef from node templateJohn Hodge6-4/+44
2016-10-23AST - Reduce places where there's no span information providedJohn Hodge11-163/+121
2016-10-23AST - (minor) Move dump_as_rust to ast/dump.cppJohn Hodge1-4/+4
2016-10-23MIR Validate - (minor) commentingJohn Hodge1-1/+1
2016-10-23MIR Gen Match - Fix a missing field access, and a bad type in slice matchesJohn Hodge1-2/+4
2016-10-23MIR Gen Match - Fix bad type in simple match str/[u8]John Hodge1-1/+2
2016-10-23HIR Expand Closures - use real type instead of Self in argsJohn Hodge1-4/+8
2016-10-23MIR Gen Match - Fix test value literal type in &strJohn Hodge1-1/+1
2016-10-23MIR Validate - Fix some literal typesJohn Hodge1-2/+7
2016-10-23MIR Validate - Check result type from RValue::ConstantJohn Hodge1-0/+73
2016-10-23MIR Gen - Use the `m_yeild_final` flag in _BlockJohn Hodge1-1/+6
2016-10-23Misc - Fix AST+HIR printing to honor the yields_final flag in blockJohn Hodge3-6/+14
2016-10-23MIR Validate - Extended validation with type checkingJohn Hodge1-8/+400
2016-10-23HIR Resolve UFCS - Search current trait for asociated items, cleanupJohn Hodge1-63/+87
2016-10-23HIR Typecheck Static - HACK: Assume placeholder generics match any traitJohn Hodge1-29/+41
2016-10-22macro_rules - Hack to allow :ident and TOK_IDENT to match each otherJohn Hodge2-20/+34
2016-10-22Parse "::Position" - (minor) Prevent iostream state from breaking printingJohn Hodge1-1/+1
2016-10-22Parse Types - Allow 'self' to start a pathJohn Hodge1-0/+2
2016-10-22HIR - Commit missing header (this is why we have CI)John Hodge1-0/+83
2016-10-22HIR Typecheck Expr - Add trait bound as part of CallValue to correctly link ↵John Hodge2-4/+13
argument types to trait impl
2016-10-22HIR Typecheck Expr - (minor) Comments about possible quirk with ↵John Hodge1-0/+6
Unsize/CoerceUsized handling
2016-10-22HIR Typecheck Expr - If an Unsize bound fails, equate the typesJohn Hodge1-6/+16
2016-10-22HIR Typecheck Expr - Error earlier if an impl can't be foundJohn Hodge4-21/+73
2016-10-22HIR Resolve UFCS - Fix trait path selectionJohn Hodge1-8/+27
2016-10-22HIR Const Eval - Rough MIR binop supportJohn Hodge1-2/+51
2016-10-22HIR Const Eval - (minor) comment about MIR cast opJohn Hodge1-0/+1
2016-10-22MIR Gen - Don't emit no-op unsizing castsJohn Hodge1-1/+6
2016-10-22HIR Types - Treat unbound path types as fuzzy matches in ↵John Hodge2-2/+10
compare_with_placeholders
2016-10-22HIR Typecheck Expr - Add ivar possibilities from CoerceUnsizedJohn Hodge1-1/+19
2016-10-22HIR Typecheck Expr - Handle TraitObject coerce with no data traitJohn Hodge1-2/+8
2016-10-22HIR Resolve UFCS - Populate trait paramsJohn Hodge1-1/+16
2016-10-22HIR - Allow (partial) TraitObject with no data trait, better logging of ItemPathJohn Hodge6-79/+26
2016-10-22Expand - #[prelude_import] supportJohn Hodge2-4/+23
2016-10-22Parse/Pattern - Handle interpolated patterns after bindingsJohn Hodge1-0/+5
2016-10-22Parse - Fix deficiency in parsing lifetime boundsJohn Hodge1-3/+6
2016-10-22MIR Gen Match - DTN signed integr rangesJohn Hodge1-2/+14
2016-10-22MIR Gen Match - Match literal against enumJohn Hodge1-17/+42
2016-10-22HIR Conv - Bind UFCS paths in patternsJohn Hodge2-12/+64
2016-10-22Travis - Attempt to expand rustc testsJohn Hodge1-0/+2
2016-10-21HIR Bind - Add TODO for binding associated constants in pattern valuesJohn Hodge1-4/+12
2016-10-21MIR Gen Match - Simplify handling of constantsJohn Hodge1-0/+226
2016-10-21HIR Resolve UFCS - Visit patternsJohn Hodge1-0/+11