summaryrefslogtreecommitdiff
path: root/src/hir/hir.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-12-30HIR - Hack in more specialisation rulesJohn Hodge1-7/+51
2016-12-28AST - Add asm! as an AST nodeJohn Hodge1-3/+2
2016-12-24No more tears!ubsan1-24/+24
2016-12-18HIR - Move VTable construction to codegenJohn Hodge1-0/+1
2016-12-10MIR Cleanup - Constant arraysJohn Hodge1-0/+39
2016-12-02HIR Specialisation - Compare bound listsJohn Hodge1-7/+28
2016-12-02HIR Specialistion - Rough up bound support in specialistionJohn Hodge1-3/+65
2016-11-19HIR - Union handlingJohn Hodge1-0/+10
2016-11-16HIR - Don't print crate name when searching for inherent implsJohn Hodge1-1/+2
2016-11-04HIR Annotate - Only borrow struct cosntructor base values when no fields are ...John Hodge1-0/+9
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-0/+7
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-0/+6
2016-10-12Make deault ABI a #defineJohn Hodge1-2/+10
2016-10-01HIR - Store and use annotations for CoerceUnsized (and prepare markings for o...John Hodge1-1/+9
2016-09-29HIR Typecheck Expr - Draft auto trait impl searchJohn Hodge1-0/+20
2016-09-28HIR - Support Variant literalsJohn Hodge1-0/+6
2016-09-24HIR Typecheck Expr - Fix impl selection bug with an evil hackJohn Hodge1-4/+11
2016-09-12HIR - Losen impl type matching a littleJohn Hodge1-5/+24
2016-09-12HIR - Fix edge case looking up the root moduleJohn Hodge1-6/+21
2016-09-11Resolve/Use - HIR imports and searching wildcard importsJohn Hodge1-4/+4
2016-09-04HIR - Fix bad logic in impl comparisonJohn Hodge1-1/+1
2016-09-01HIR - Look for impls in extern cratesJohn Hodge1-0/+13
2016-09-01Resolve - Misc fixesJohn Hodge1-3/+1
2016-09-01HIR - Support looking up items using ext crate pathsJohn Hodge1-7/+16
2016-08-24HIR - (minor) Fix incorrect message when a value item can't be foundJohn Hodge1-1/+1
2016-08-23HIR Typecheck - Require span for type_is_copyJohn Hodge1-0/+17
2016-08-20HIR - Support &[...] in constant evaluation (hacky)John Hodge1-0/+3
2016-08-17HIR - Correct closure desugaring (leads to two equivalent types)John Hodge1-2/+1
2016-08-01HIR Typecheck - Altered ! handling to be an ivar type, fix fuzzy matches in e...John Hodge1-0/+1
2016-07-31HIR - Support comparing specificity of trait implsJohn Hodge1-0/+146
2016-07-07HIR Typecheck CS - Working `let v: usize = !0;`John Hodge1-1/+24
2016-06-24HIR Typecheck - Trait object impl blocksJohn Hodge1-24/+40
2016-06-12HIR - Trait scoping fixesJohn Hodge1-0/+10
2016-06-11HIR Typecheck - autoderef arrays to slices, don't check method if unknownJohn Hodge1-0/+6
2016-06-10HIR Typecheck - Tweaking, progress is being madeJohn Hodge1-11/+13
2016-06-10HIR Typecheck - Fixed resolution when a trait impl's argument hits an unresol...John Hodge1-1/+2
2016-06-09HIR - Add closure typeJohn Hodge1-0/+4
2016-06-09HIR - Save and use paths to #[lang] itemsJohn Hodge1-26/+5
2016-06-08HIR Typecheck - Runs fully over libcore, no validation yetJohn Hodge1-2/+6
2016-06-08HIR Typecheck - Starting work on Fn* traitsJohn Hodge1-0/+4
2016-06-07HIR Typecheck - Binary operator overloadsJohn Hodge1-2/+14
2016-06-07HIR Typecheck - Inherent function lookupJohn Hodge1-1/+13
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge1-1/+1
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge1-13/+32
2016-06-06HIR - Maintain trait list, use it for method lookupJohn Hodge1-1/+2
2016-06-06HIR Typecheck - Rough inclusion of function calls in typeckJohn Hodge1-0/+114
2016-05-29HIR - Add binding pointers to TypeRef and PatternJohn Hodge1-2/+2
2016-05-29HIR Typecheck - FiddlingJohn Hodge1-1/+10
2016-05-27HIR Conv - Constant evaluation pass running (fully?)John Hodge1-0/+102
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge1-0/+30