summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-11-20HIR Typecheck Expr - Print (some of) the rules when there's leftoversJohn Hodge1-1/+31
2016-11-20HIR Typecheck Expr - Hack around quirk where a cast can be a type hintJohn Hodge1-0/+2
2016-11-20MIR Gen - Treat a loop as a split scopeJohn Hodge1-4/+5
2016-11-20HIR From AST - Shortcut arrays with integer literal sizesJohn Hodge1-4/+14
2016-11-20HIR - Allow arrays with unknown sizes to be clonedJohn Hodge1-2/+4
2016-11-20MIR - Union support hacked upJohn Hodge9-36/+114
2016-11-20MIR Gen - Roughed union supportJohn Hodge2-3/+23
2016-11-19HIR - Union handlingJohn Hodge12-16/+176
2016-11-19HIR - Add Union type path bindingJohn Hodge9-3/+81
2016-11-19Resolve Absolute - Add missing union handlingJohn Hodge1-0/+4
2016-11-19Parse - Fix error in parsing unionsJohn Hodge1-2/+2
2016-11-19Rust source update, fix a few parse issuesJohn Hodge2-1/+4
2016-11-19HIR Serialis - Support ErasedTypeJohn Hodge1-1/+6
2016-11-19MIR Gen Match - Fix bad type for string in simpleJohn Hodge1-2/+2
2016-11-19MIR Validate - Replace ErasedType instances in checked return typeJohn Hodge1-1/+17
2016-11-19MIR Check - Monomorphise types from enumsJohn Hodge1-0/+2
2016-11-19Derive Decodable - Add _ arm to enum decodingJohn Hodge1-0/+18
2016-11-19MIR Gen Match - HACK: Allow duplicate terminals (ranges)John Hodge1-3/+2
2016-11-19MIR Gen Match - Rough Slice and SplitSlice supportJohn Hodge2-23/+110
2016-11-19MIR Gen Match - Handle StructValueJohn Hodge1-0/+3
2016-11-19MIR Gen - Expand associated types after monomorphJohn Hodge2-5/+13
2016-11-19MIR Gen - Bugcheck on Unbound pathsJohn Hodge1-1/+2
2016-11-19MIR Gen Match - Don't unify a node unless the paths matchJohn Hodge1-10/+11
2016-11-19MIR Gen Match - Sanity check in node mergeJohn Hodge1-32/+107
2016-11-19MIR Gen Match - Some hackaroundsJohn Hodge3-9/+44
2016-11-18HIR Expand ErasedType - Replace non-local erased types in return typesJohn Hodge3-48/+155
2016-11-18HIR Expand ErasedTypes - Visit result typesJohn Hodge1-0/+7
2016-11-18HIR Typecheck Validate - Expand ErasedType in callee returnsJohn Hodge1-2/+22
2016-11-18HIR Expand - Erased types replacmentJohn Hodge3-0/+147
2016-11-18HIR Expand Closures - Fix types in args/return typesJohn Hodge1-0/+4
2016-11-18HIR Typecheck - Expand associated types in function pointersJohn Hodge3-1/+7
2016-11-18HIR Typecheck Static - Convert a fuzzy into a concrete in EATJohn Hodge1-2/+19
2016-11-18HIR Typecheck Validate - Fix some small bugs, start on ErasedType supportJohn Hodge3-32/+60
2016-11-18HIR - Clean up ExprPtr a little and add erased type typesJohn Hodge2-37/+64
2016-11-18HIR Typecheck Common - Fix visit_ty_with__pathJohn Hodge1-4/+3
2016-11-18HIR Expand Closures - Replace closure types in root node resultJohn Hodge1-0/+1
2016-11-17HIR Typecheck Static - impls from ErasedTypeJohn Hodge1-0/+30
2016-11-17HIR Annotate - Handle SplitSlice and SplitTuple patternsJohn Hodge1-15/+35
2016-11-17HIR Typecheck Static - Copy for ErasedTypeJohn Hodge1-1/+7
2016-11-17HIR Typecheck - Support Self in impl monomorphisationJohn Hodge2-2/+17
2016-11-17Resolve - Fix scoping of `if let` bindingsJohn Hodge1-2/+3
2016-11-17HIR Typecheck Expr - Handle revisit in SplitSliceJohn Hodge1-19/+55
2016-11-17HIR - Fix bad handling of split slice patternsJohn Hodge3-4/+6
2016-11-17HIR Typecheck Expr - Extend Opaque=fuzzy hackJohn Hodge2-3/+8
2016-11-17HIR Typecheck Expr - Stop autoderef method search when unbound UFCS is hitJohn Hodge1-4/+7
2016-11-17HIR Typecheck Expr - Reduce log spam in librustcJohn Hodge1-19/+37
2016-11-17HIR Typecheck Expr - Search supertraits for TraitObject and ErasedType ↵John Hodge1-50/+26
method searching
2016-11-17HIR Typecheck Expr - Update method selectionJohn Hodge3-67/+59
2016-11-16HIR Typecheck Expr - CleanupJohn Hodge1-31/+21
2016-11-16HIR Typcheck Expr - Prune `coerce_from` list down to bottom typeJohn Hodge1-1/+33