summaryrefslogtreecommitdiff
path: root/src/hir_expand
AgeCommit message (Collapse)AuthorFilesLines
2016-11-18HIR Expand ErasedTypes - Visit result typesJohn Hodge1-0/+7
2016-11-18HIR Expand - Erased types replacmentJohn Hodge2-0/+143
2016-11-18HIR Expand Closures - Fix types in args/return typesJohn Hodge1-0/+4
2016-11-18HIR Typecheck Validate - Fix some small bugs, start on ErasedType supportJohn Hodge1-0/+3
2016-11-18HIR Expand Closures - Replace closure types in root node resultJohn Hodge1-0/+1
2016-11-17HIR Annotate - Handle SplitSlice and SplitTuple patternsJohn Hodge1-15/+35
2016-11-05HIR Expand Reborrow - Reborrow in struct literalsJohn Hodge1-0/+13
2016-11-04HIR Annotate - Only borrow struct cosntructor base values when no fields are ↵John Hodge1-2/+34
moved
2016-11-04HIR Expand - Struct constructor base values don't always moveJohn Hodge1-3/+7
2016-10-30HIR Typecheck - Rough support for box patternsJohn Hodge1-2/+3
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge2-2/+2
2016-10-23HIR Expand Closures - use real type instead of Self in argsJohn Hodge1-4/+8
2016-10-12Make deault ABI a #defineJohn Hodge1-3/+3
2016-10-12HIR Expand Closures - Use a different name for closures from impl blocksJohn Hodge1-1/+1
2016-10-10HIR Expand Closures - Fix lack of replacement in bindingsJohn Hodge1-1/+1
2016-10-10HIR Expand Closures - Avoid bad monomorphisationsJohn Hodge1-2/+6
2016-10-10HIR Expand - Fix monomorphising of closure typesJohn Hodge1-12/+24
2016-10-09HIR Annotate - Handle ref bindings in pattersJohn Hodge1-5/+126
2016-10-08HIR Closures - Rework to correctly support borrow typesJohn Hodge1-40/+113
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-01(minor) Add TODO regarding by-borrow closure capturesJohn Hodge1-0/+1
2016-09-29HIR - Add variadic marking to functions, and propagate unsafe/const markingsJohn Hodge1-3/+3
2016-09-19HIR Expand Closures - Fix bad typesJohn Hodge1-3/+31
2016-09-18HIR - Rework to include a node for in/box (for better type inferrence)John Hodge1-0/+15
2016-09-06HIR Expand UFCS - HACK: Don't desugar derefs of BoxJohn Hodge1-1/+12
2016-09-04HIR - Restructure _Unsize handling to operate on pointersJohn Hodge1-1/+43
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge2-2/+2
2016-08-26HIR Expand Closures - Eliminate closure types!John Hodge1-2/+80
2016-08-25HIR Expand Closures - Stable closure namesJohn Hodge1-13/+16
2016-08-24HIR Expand Closures - Fix mangling of destructured argumentsJohn Hodge1-4/+3
2016-08-24HIR Expand Closures - Bind closure typeJohn Hodge1-24/+34
2016-08-24HIR Expand Reborrow - Handle return value reborrowing, reborrow inside blockJohn Hodge1-21/+24
2016-08-24HIR Expand - Add a reborrow pass (inserts &mut* on by-value &mutJohn Hodge2-0/+185
2016-08-23HIR Typecheck - Require span for type_is_copyJohn Hodge2-17/+7
2016-08-22AST+HIR - Save decoded receiver type for methodsJohn Hodge1-0/+3
2016-08-21HIR Expand - Fix closure conversionJohn Hodge1-7/+25
2016-08-19Patterns - Support tuples with .. (fully)John Hodge1-1/+7
2016-08-18All - Support tuple patterns with .. at the start/end - TODO: Support in the ↵John Hodge1-5/+1
middle
2016-08-17HIR - Correct closure desugaring (leads to two equivalent types)John Hodge2-13/+47
2016-08-17HIR Typecheck Static - Replace types with definitive versionsJohn Hodge1-1/+1
2016-08-16HIR Expand Closures - Clone boundsJohn Hodge1-0/+23
2016-08-15HIR Expand - Move borrow for CallValue into expand to correct impl selectionJohn Hodge1-13/+21
2016-08-15HIR Typecheck Validate - Extra checks and fixes exposed by themJohn Hodge2-10/+16
2016-08-14HIR Expand Closures - Fix `_` type in generated FnMut for FnJohn Hodge1-1/+2
2016-08-14HIR Expand - Work on doing Deref desugarJohn Hodge3-74/+79
2016-08-14HIR - Move borrow ops to their own node typeJohn Hodge3-27/+21
2016-08-14HIR Expand Calls - Add Index desugarJohn Hodge1-1/+50
2016-08-14HIR Expand Closures - Use the value annotations instead of local codeJohn Hodge1-56/+9
2016-08-14HIR Expand - Add annotation passJohn Hodge3-11/+401