summaryrefslogtreecommitdiff
path: root/src/hir
AgeCommit message (Collapse)AuthorFilesLines
2016-08-19AST - Macro invocations in item listJohn Hodge1-0/+3
2016-08-19Patterns - Support tuples with .. (fully)John Hodge4-73/+92
2016-08-18All - Support tuple patterns with .. at the start/end - TODO: Support in the ↵John Hodge4-68/+104
middle
2016-08-17Parse - Fix many parser bugsJohn Hodge1-0/+7
2016-08-17HIR - Correct closure desugaring (leads to two equivalent types)John Hodge3-7/+40
2016-08-17HIR Visitor - Include type/paths visit functions in ExprJohn Hodge3-0/+100
2016-08-16HIR - Misc tweaks for debugging typeck errorsJohn Hodge2-1/+4
2016-08-14HIR - Move borrow ops to their own node typeJohn Hodge3-6/+26
2016-08-14HIR Expand Calls - Add Index desugarJohn Hodge1-0/+10
2016-08-14HIR Expand - Add annotation passJohn Hodge1-0/+13
2016-08-14HIR Expand Closures - Store local binding typesJohn Hodge1-1/+5
2016-08-12HIR Patterns - Support binding Value::Named to targetsJohn Hodge4-6/+25
2016-08-11HIR - Store path to closure object for MIR generationJohn Hodge1-0/+2
2016-08-11All - Clang warning fixesJohn Hodge3-3/+4
2016-08-10HIR - Add EnumValue variant to PatternJohn Hodge3-3/+17
2016-08-09main+MIR - Enable MIR generationJohn Hodge1-3/+7
2016-08-08HIR Expand UFCS - Pass that replaces all call types with path-based callsJohn Hodge1-1/+4
2016-08-08HIR ExprPtr - Support resetting internal pointerJohn Hodge2-0/+6
2016-08-08HIR - Store the binding types for an expression for use in later stagesJohn Hodge1-0/+5
2016-08-07HIR - Add clone method to GenericParamsJohn Hodge2-0/+52
2016-08-07HIR - Add clone() method to Pattern (and a few constructors)John Hodge2-0/+137
2016-08-07HIR Typecheck CS - Include used trait for CallValue (for codegen)John Hodge1-0/+11
2016-08-07HIR - Start work on closure expansionJohn Hodge1-0/+2
2016-08-06HIR - Start on closure annotationsJohn Hodge1-0/+10
2016-08-06HIR Conv - Fix bad trait args in UFCS trait selectionJohn Hodge1-0/+1
2016-08-06HIR - Fix pointer equality in TypeRef::operator==John Hodge1-1/+1
2016-08-06HIR - (minor) Reduce expand_associated_types logging, turn TODO into BUG in ↵John Hodge1-2/+1
HIR lower for ?
2016-08-02HIR Typecheck - Draft validation passJohn Hodge1-0/+4
2016-08-01HIR - Path reporting in iterationJohn Hodge4-84/+127
2016-08-01HIR - Support getting tuple struct constructors as function pointersJohn Hodge3-3/+13
2016-08-01HIR Typecheck - Altered ! handling to be an ivar type, fix fuzzy matches in ↵John Hodge3-0/+6
expand_associated_types
2016-08-01HIR - Include specialisable marker in implsJohn Hodge3-15/+28
2016-08-01AST - Add specialisable tag to impl itemsJohn Hodge1-4/+4
2016-07-31HIR - Support comparing specificity of trait implsJohn Hodge2-0/+148
2016-07-19HIR - Very rough impl specialisation support in outer typeckJohn Hodge2-0/+69
2016-07-17HIR FromAST - Fix incorrect desugar of RangeInclusive::NonEmptyJohn Hodge1-1/+1
2016-07-17HIR,HIR Typecheck - Simplify associated type bounds, add type replacementsJohn Hodge3-3/+29
2016-07-17HIR - Allow sorting of types and pathsJohn Hodge3-2/+113
2016-07-16HIR Typecheck CS - Reduce log spamJohn Hodge2-0/+6
2016-07-15HIR Typecheck - (BROKEN) Fixing trait selection for associated typesJohn Hodge2-14/+21
2016-07-15HIR Typecheck - Expand associated types in outer typeckJohn Hodge1-0/+1
2016-07-14HIR - Working on better outer typecheck and resolutionJohn Hodge1-2/+18
2016-07-14Macro Rules - Rewrite, take 3 - IncompleteJohn Hodge1-4/+6
2016-07-12HIR Typecheck - Handle more complex impl bindingsJohn Hodge1-8/+6
2016-07-12HIR Types - Support returning match state from match generic callbackJohn Hodge2-6/+4
2016-07-12HIR Typecheck - Planning out handling for more effective impl param determiningJohn Hodge1-0/+2
2016-07-11HIR Typecheck CS - Remove todo panic on unknown infer, fix missed base value ↵John Hodge1-0/+3
in struct literals
2016-07-10HIR - (comment) Need to record source trait for type boundsJohn Hodge1-0/+1
2016-07-10HIR Creation - (minor) Use a vistor-global null spanJohn Hodge1-1/+2
2016-07-09HIR Typecheck CS - Distinguish between "direction" of possible ivar values.John Hodge1-1/+2
- When both sides are known, it propagates leftwards