summaryrefslogtreecommitdiff
path: root/src/hir_expand
AgeCommit message (Collapse)AuthorFilesLines
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
2016-08-14HIR Expand - Partial _Index expansion, requires extra annotationJohn Hodge1-0/+33
2016-08-14HIR Expand - Replace _UniOp overloads with callsJohn Hodge1-0/+80
2016-08-14HIR Expand Closures - Store local binding typesJohn Hodge1-16/+50
2016-08-13HIR Expand - Replace assign and boolean operator overloads with callsJohn Hodge1-2/+280
2016-08-12HIR Patterns - Support binding Value::Named to targetsJohn Hodge1-0/+2
2016-08-11HIR - Store path to closure object for MIR generationJohn Hodge1-5/+23
2016-08-11All - Clang warning fixesJohn Hodge2-10/+14
2016-08-10HIR - Add EnumValue variant to PatternJohn Hodge1-0/+2
2016-08-08HIR Expand UFCS - (minor) Remove unneeded commented codeJohn Hodge1-2/+0
2016-08-08HIR Expand UFCS - Pass that replaces all call types with path-based callsJohn Hodge2-0/+243
2016-08-08HIR Expand Closures - (minor) commentingJohn Hodge1-4/+2
2016-08-08HIR Typecheck+Expand - Type annotations to allow generated closure code to passJohn Hodge1-124/+229
2016-08-08HIR Expand Closures - Completing nowJohn Hodge1-12/+21
2016-08-08HIR - Store the binding types for an expression for use in later stagesJohn Hodge1-2/+2
2016-08-07HIR Expand Closures - Expansion complete, untestedJohn Hodge1-53/+214
2016-08-07HIR Expand Closures - Start on generating implsJohn Hodge1-9/+163
2016-08-07HIR Expand Closures - Fleshing out, almost ready to call from mainJohn Hodge2-5/+99
2016-08-07HIR - Start work on closure expansionJohn Hodge1-0/+355