summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
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-19Makefile - Updated libsyntax depsJohn Hodge1-1/+1
2016-11-19Rust source update, fix a few parse issuesJohn Hodge3-2/+5
2016-11-19Makefile - Add rustc_driver dep, fix rbml depJohn Hodge1-3/+3
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 Hodge4-1/+148
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
2016-11-16HIR Typecheck Expr - Avoid taking too many guesses in a single passJohn Hodge1-2/+9
2016-11-16HIR Typecheck Expr - Remove some useless error checkingJohn Hodge1-100/+43
2016-11-16HIR Typcheck Expr - Remove types that unsize to other types in the ↵John Hodge1-14/+45
possibility list
2016-11-16HIR Typecheck Expr - Refactor possibility codeJohn Hodge1-92/+164
2016-11-16HIR Typecheck Expr - Emit an assoc bound for fuzzy impl selectionJohn Hodge1-2/+2
- Fixes errors where one of the fetched types contains a placeholder.
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-16 08:35:29 +0000