summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge9-30/+60
2016-06-11HIR Typecheck - Trait object comparison/manipulationJohn Hodge5-26/+44
2016-06-11HIR Typecheck - Search methods inside &-ptrs before on the &-ptrJohn Hodge2-102/+129
2016-06-11HIR Typecheck - ConstantsJohn Hodge8-7/+126
2016-06-10HIR Typecheck - Tweaking, progress is being madeJohn Hodge3-30/+39
2016-06-10HIR Typecheck - Fixed resolution when a trait impl's argument hits an ↵John Hodge2-3/+8
unresolved ivar
2016-06-10HIR Typecheck - Rework ops traits handling a bitJohn Hodge3-20/+97
2016-06-10HIR Typecheck - Fix function generic handling to not be a hackjobJohn Hodge2-55/+80
2016-06-10HIR Typecheck - Recursively expand associated typesJohn Hodge2-6/+9
2016-06-10(minor) HIR Typecheck - CommentingJohn Hodge2-3/+8
2016-06-10HIR Typecheck - Split expr.cpp into two files - context and enumJohn Hodge4-1630/+1742
2016-06-10HIR Typecheck - Hack up closure inferrence from Fn* traitsJohn Hodge7-104/+222
2016-06-09HIR - Add closure typeJohn Hodge6-2/+84
2016-06-09(minor) HIR Typecheck - Comment on closure inferJohn Hodge1-0/+2
2016-06-09HIR Typecheck - Associated type bounds used and "working"John Hodge2-5/+22
2016-06-09HIR Typecheck - Replace associated types with known bounds (IntoIter)John Hodge5-45/+141
2016-06-09common.hpp - Hack around old stlJohn Hodge1-2/+4
2016-06-09HIR Typecheck - Plan: Use associated type bounds to expand furtherJohn Hodge2-2/+11
2016-06-09Merge pull request #3 from sanxiyn/patch-1John Hodge (Mutabah)1-1/+1
Build fix - C++14 for PCH generation
2016-06-09HIR Typecheck - Use associated type bounds for finding UFCS methodsJohn Hodge1-2/+19
2016-06-09All - Hack up support for useful associated type boundsJohn Hodge5-25/+88
2016-06-09HIR Typecheck - struct literalsJohn Hodge2-9/+71
2016-06-09HIR Typecheck - Operator assignmentsJohn Hodge1-2/+35
2016-06-09HIR - Save and use paths to #[lang] itemsJohn Hodge5-35/+29
2016-06-09Build fixSeo Sanghyeon1-1/+1
2016-06-08HIR Typecheck - Handle `Self` when looking up associated typesJohn Hodge1-6/+12
2016-06-08HIR Typecheck - Runs fully over libcore, no validation yetJohn Hodge3-9/+22
2016-06-08HIR - Lower associated type bounds, use those in typeckJohn Hodge6-86/+256
2016-06-08HIR Typecheck - Starting work on Fn* traitsJohn Hodge4-3/+33
2016-06-08HIR Typecheck - Search supertraits in generic searchJohn Hodge2-6/+35
2016-06-08HIR Typecheck - Propagate through tuple literalsJohn Hodge1-0/+9
2016-06-08HIR - Move tuple struct/enum construtors to their on HIR nodeJohn Hodge5-6/+139
- This makes typeck of those invocations easier
2016-06-08CommentingJohn Hodge2-2/+5
2016-06-08Expand format_args! - Parse and (partially) emitJohn Hodge4-94/+411
2016-06-08HIR Typecheck - Type parameters in method/function executionJohn Hodge4-25/+50
2016-06-08Resolve - Fix generic binding indexesJohn Hodge2-5/+36
2016-06-08HIR Typecheck - Rough checking of bounds when searching for UFCSJohn Hodge4-35/+132
2016-06-07HIR Typecheck - Rough handling of castsJohn Hodge2-3/+103
2016-06-07HIR Typecheck - (minor) CommentingJohn Hodge1-2/+3
2016-06-07HIR Typecheck - Successful inferrence of literals (no i32 default yet)John Hodge3-13/+179
2016-06-07HIR - Add literal annotation to TypeRef::Data::InferJohn Hodge4-25/+127
2016-06-07HIR Typecheck - Binary operator overloadsJohn Hodge8-30/+170
2016-06-07HIR Typecheck - apply_equality for TraitObjectJohn Hodge1-23/+26
2016-06-07HIR Typecheck - Inherent function lookupJohn Hodge3-7/+64
2016-06-07HIR Typecheck - Coerce returned valuesJohn Hodge1-11/+26
2016-06-07HIR Expr - Rename m_val to m_value, add visitor for pointersJohn Hodge3-54/+57
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge5-14/+37
2016-06-06HIR Typecheck - Cache calculation of visit_callJohn Hodge1-82/+81
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge6-32/+246
2016-06-06HIR Typecheck - Checking and use of UFCS methodsJohn Hodge1-31/+108