summaryrefslogtreecommitdiff
path: root/src/hir
AgeCommit message (Collapse)AuthorFilesLines
2016-12-11Trans - statics and literalsJohn Hodge2-2/+4
2016-12-11Trans - Intrinsics (partially complete)John Hodge2-2/+6
2016-12-10Trans - Slight handling of DST structsJohn Hodge2-0/+2
2016-12-10MIR Cleanup - Constant arraysJohn Hodge2-0/+41
2016-12-10HIR Dump - Cleaner output of literalsJohn Hodge1-0/+8
2016-12-10HIR ConstEval - Do basic type inferrence so created statics have correct typesJohn Hodge1-0/+4
2016-12-10HIR->MIR - Destructuring CoerceUnsizedJohn Hodge3-19/+24
2016-12-07MIR - Merge two call types into one with a different targetJohn Hodge2-17/+33
2016-12-07HIR VTables - Handle traits with duplicate method names form different ↵John Hodge3-2/+32
sub-traits
2016-12-04HIR - Construct vtablesJohn Hodge5-0/+22
2016-12-04MIR - Add a variant index to RValue::StructJohn Hodge2-0/+2
2016-12-04HIR Bind - Visit MIR types.John Hodge1-2/+3
2016-12-03MIR - Create a CallPath terminatorJohn Hodge2-2/+16
2016-12-03HIR/MIR - Vtable generation working wellJohn Hodge3-15/+8
2016-12-03HIR/MIR - VTable workJohn Hodge7-11/+31
2016-12-02HIR Specialisation - Compare bound listsJohn Hodge1-7/+28
2016-12-02HIR Specialistion - Rough up bound support in specialistionJohn Hodge3-3/+99
2016-12-01Trans - Enumeration work structured out, vtables hacked inJohn Hodge7-14/+40
2016-11-27HIR - Move impl parameters from node to the pathJohn Hodge5-6/+20
2016-11-26HIR Serialise - Remove useless printJohn Hodge1-1/+1
2016-11-25HIR - Shift markings to their own pass, store in crate metadata.John Hodge3-11/+57
2016-11-23Resolve - Place struct enum variants in the type namespace, fix ↵John Hodge2-4/+4
serialisation bug
2016-11-23HIR Expand TypeAlias - Fix small gapJohn Hodge1-1/+3
2016-11-23HIR - More complete SplitTuple pattern handlingJohn Hodge2-1/+3
2016-11-22Resolve Absolute - Search value scope for tuple struct patternsJohn Hodge1-2/+13
2016-11-22HIR Serialise - Slightly better debuggingJohn Hodge1-3/+3
2016-11-20HIR Serialise - Save/Load erased type listJohn Hodge2-0/+2
2016-11-20HIR Expr - Pass span to visit_patternJohn Hodge2-17/+22
2016-11-20HIR Serialise - Fix serialisation of ErasedTypeJohn Hodge2-3/+9
2016-11-20HIR From AST - Shortcut arrays with integer literal sizesJohn Hodge1-4/+14
2016-11-20MIR - Union support hacked upJohn Hodge2-0/+24
2016-11-19HIR - Union handlingJohn Hodge6-9/+67
2016-11-19HIR - Add Union type path bindingJohn Hodge2-3/+7
2016-11-19HIR Serialis - Support ErasedTypeJohn Hodge1-1/+6
2016-11-18HIR Expand ErasedType - Replace non-local erased types in return typesJohn Hodge1-1/+19
2016-11-18HIR - Clean up ExprPtr a little and add erased type typesJohn Hodge2-37/+64
2016-11-17HIR - Fix bad handling of split slice patternsJohn Hodge1-2/+2
2016-11-17HIR Typecheck Expr - Extend Opaque=fuzzy hackJohn Hodge1-0/+4
2016-11-16HIR - Don't print crate name when searching for inherent implsJohn Hodge1-1/+2
2016-11-13HIR Typecheck - Slow work on ErasedTypeJohn Hodge1-1/+3
2016-11-11HIR - Tweak ErasedType for implementationJohn Hodge4-3/+18
2016-11-09HIR+Parse - Fix some ErasedTypes bugs before hitting the TODOsJohn Hodge1-1/+3
2016-11-09HIR Type Compare - Compare size in MTGFJohn Hodge1-0/+3
2016-11-07HIR Gen - Extract #[macro_export] macros from deep within the treeJohn Hodge1-22/+38
2016-11-06HIR Typecheck Expr - Fix leaking of a placeholder paramJohn Hodge2-4/+6
2016-11-05HIR Serialise - Better errorsJohn Hodge1-4/+4
2016-11-04HIR Annotate - Only borrow struct cosntructor base values when no fields are ↵John Hodge3-0/+12
moved
2016-11-02All - Hack in start of macro hygine - requires rework so is disabledJohn Hodge1-29/+30
2016-10-31HIR - Print for ::HIR::CompareJohn Hodge1-0/+9
2016-10-31Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge1-3/+24