summaryrefslogtreecommitdiff
path: root/src/hir
AgeCommit message (Collapse)AuthorFilesLines
2016-08-24HIR - (minor) Fix incorrect message when a value item can't be foundJohn Hodge1-1/+1
2016-08-24HIR From AST - Fix emitting tuple/value constructors for named-field structsJohn Hodge1-1/+1
2016-08-24HIR - Fix bad clone function for GenericParamsJohn Hodge1-2/+2
2016-08-24MIR Gen - Use argument typesJohn Hodge1-1/+3
2016-08-23HIR Typecheck - Require span for type_is_copyJohn Hodge2-0/+19
2016-08-22AST+HIR - Save decoded receiver type for methodsJohn Hodge3-0/+30
2016-08-21HIR Dump - Fix printing of closures (that don't contain a block)John Hodge1-1/+15
2016-08-21HIR Expand - Fix closure conversionJohn Hodge2-1/+68
2016-08-20HIR Dump - Initial support, verbose but completeJohn Hodge3-1/+643
2016-08-20HIR - Support &[...] in constant evaluation (hacky)John Hodge2-0/+7
2016-08-19AST - Support ! as a real typeJohn Hodge1-14/+24
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