summaryrefslogtreecommitdiff
path: root/src/hir
AgeCommit message (Collapse)AuthorFilesLines
2016-06-12HIR - Trait scoping fixesJohn Hodge7-30/+59
2016-06-12HIR Typecheck - Rework handling of trait impl searchingJohn Hodge4-21/+21
2016-06-12HIR Typecheck - Assign ops minor fixJohn Hodge1-0/+1
2016-06-12HIR Typecheck - Restructure handling of primtives in BinOpJohn Hodge1-1/+6
2016-06-11HIR Typecheck - Fix pattern propagationJohn Hodge1-0/+3
2016-06-11HIR Typecheck - Fields workingJohn Hodge2-12/+20
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge10-68/+119
2016-06-11HIR Typecheck - Fixes for `trait Int: Add<Self>`John Hodge1-3/+17
2016-06-11HIR Typecheck - autoderef arrays to slices, don't check method if unknownJohn Hodge2-0/+9
2016-06-11HIR - (cleanup) Make method to handle creating new array typesJohn Hodge2-5/+8
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge4-14/+27
2016-06-11HIR Typecheck - Trait object comparison/manipulationJohn Hodge4-24/+34
2016-06-11HIR Typecheck - ConstantsJohn Hodge4-4/+69
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 ↵John Hodge1-1/+2
unresolved ivar
2016-06-10HIR Typecheck - Rework ops traits handling a bitJohn Hodge2-16/+66
2016-06-10HIR Typecheck - Hack up closure inferrence from Fn* traitsJohn Hodge3-4/+27
2016-06-09HIR - Add closure typeJohn Hodge4-1/+43
2016-06-09HIR Typecheck - Replace associated types with known bounds (IntoIter)John Hodge4-43/+103
2016-06-09HIR Typecheck - Plan: Use associated type bounds to expand furtherJohn Hodge1-2/+2
2016-06-09All - Hack up support for useful associated type boundsJohn Hodge2-16/+64
2016-06-09HIR Typecheck - struct literalsJohn Hodge1-0/+3
2016-06-09HIR - Save and use paths to #[lang] itemsJohn Hodge3-26/+14
2016-06-08HIR Typecheck - Runs fully over libcore, no validation yetJohn Hodge2-2/+10
2016-06-08HIR - Lower associated type bounds, use those in typeckJohn Hodge2-4/+41
2016-06-08HIR Typecheck - Starting work on Fn* traitsJohn Hodge1-0/+4
2016-06-08HIR Typecheck - Search supertraits in generic searchJohn Hodge1-0/+1
2016-06-08HIR - Move tuple struct/enum construtors to their on HIR nodeJohn Hodge3-4/+45
- This makes typeck of those invocations easier
2016-06-08HIR Typecheck - Type parameters in method/function executionJohn Hodge1-1/+1
2016-06-08HIR Typecheck - Rough checking of bounds when searching for UFCSJohn Hodge3-15/+57
2016-06-07HIR Typecheck - Rough handling of castsJohn Hodge1-2/+49
2016-06-07HIR Typecheck - Successful inferrence of literals (no i32 default yet)John Hodge2-0/+147
2016-06-07HIR - Add literal annotation to TypeRef::Data::InferJohn Hodge3-1/+25
2016-06-07HIR Typecheck - Binary operator overloadsJohn Hodge5-7/+73
2016-06-07HIR Typecheck - Inherent function lookupJohn Hodge2-2/+15
2016-06-07HIR Expr - Rename m_val to m_value, add visitor for pointersJohn Hodge2-49/+50
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge4-12/+13
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge5-16/+109
2016-06-06HIR - Maintain trait list, use it for method lookupJohn Hodge2-1/+8
2016-06-06HIR Typecheck - Method resolution partially doneJohn Hodge2-0/+28
2016-06-06HIR Typecheck - Method calls being planned, fixed resolution of Generic typesJohn Hodge2-4/+19
2016-06-06HIR Typecheck - Monomorphisation cleanupJohn Hodge1-0/+3
2016-06-06HIR Typecheck - Rough inclusion of function calls in typeckJohn Hodge2-0/+124
2016-06-05Resolve - UFCS resolution expanded to handle `Self` and paramsJohn Hodge5-30/+151
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge4-109/+136
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge4-14/+12
2016-06-04HIR Typeck - More work on itJohn Hodge2-1/+18
2016-06-04Compilation fixes (clang and different gcc version)John Hodge4-9/+20
2016-06-04HIR Typeck - Add slice unsize, breaks due to inferrence orderJohn Hodge4-10/+47
2016-06-04Byte string literals in AST, infrastructure for coercionsJohn Hodge3-0/+19
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-21 23:57:01 +0000