summaryrefslogtreecommitdiff
path: root/src/hir/type.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-08-17HIR - Correct closure desugaring (leads to two equivalent types)John Hodge1-3/+8
2016-08-06HIR - Fix pointer equality in TypeRef::operator==John Hodge1-1/+1
2016-08-01HIR Typecheck - Altered ! handling to be an ivar type, fix fuzzy matches in e...John Hodge1-0/+4
2016-07-19HIR - Very rough impl specialisation support in outer typeckJohn Hodge1-0/+68
2016-07-17HIR - Allow sorting of types and pathsJohn Hodge1-0/+88
2016-07-14HIR - Working on better outer typecheck and resolutionJohn Hodge1-2/+18
2016-07-12HIR Typecheck - Handle more complex impl bindingsJohn Hodge1-8/+6
2016-07-12HIR Types - Support returning match state from match generic callbackJohn Hodge1-3/+1
2016-07-09HIR Typecheck CS - Distinguish between "direction" of possible ivar values.John Hodge1-1/+2
2016-07-07HIR Type - Mark the same ivar as being the EqualJohn Hodge1-0/+5
2016-07-07HIR Typecheck CS - Working `let v: usize = !0;`John Hodge1-5/+7
2016-07-07HIR Typecheck CS - Closure handling in equate_types and type.cppJohn Hodge1-2/+24
2016-07-06HIR Typecheck CS - Struct member monomorphiseJohn Hodge1-1/+41
2016-06-26HIR Typecheck - Fuzzy impl matching to allow selection of += impl for usizeJohn Hodge1-28/+41
2016-06-13HIR Typecheck - Search for Deref impl in * operatorJohn Hodge1-1/+1
2016-06-12HIR Typecheck - Rework handling of trait impl searchingJohn Hodge1-7/+7
2016-06-12HIR Typecheck - Restructure handling of primtives in BinOpJohn Hodge1-1/+6
2016-06-11HIR Typecheck - Fields workingJohn Hodge1-11/+16
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge1-1/+1
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge1-11/+14
2016-06-11HIR Typecheck - Trait object comparison/manipulationJohn Hodge1-22/+12
2016-06-10HIR Typecheck - Rework ops traits handling a bitJohn Hodge1-15/+61
2016-06-10HIR Typecheck - Hack up closure inferrence from Fn* traitsJohn Hodge1-1/+10
2016-06-09HIR - Add closure typeJohn Hodge1-0/+26
2016-06-09HIR Typecheck - Replace associated types with known bounds (IntoIter)John Hodge1-35/+2
2016-06-08HIR Typecheck - Runs fully over libcore, no validation yetJohn Hodge1-0/+4
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 Hodge1-11/+53
2016-06-07HIR Typecheck - Rough handling of castsJohn Hodge1-2/+49
2016-06-07HIR Typecheck - Successful inferrence of literals (no i32 default yet)John Hodge1-0/+139
2016-06-07HIR - Add literal annotation to TypeRef::Data::InferJohn Hodge1-1/+11
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge1-7/+7
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge1-0/+49
2016-06-05Resolve - UFCS resolution expanded to handle `Self` and paramsJohn Hodge1-0/+72
2016-06-04HIR Typeck - More work on itJohn Hodge1-1/+7
2016-06-04HIR Typeck - Add slice unsize, breaks due to inferrence orderJohn Hodge1-5/+8
2016-06-04HIR Typeck - Coming along, close to needing coercionsJohn Hodge1-2/+7
2016-06-03HIR - Working on type inference, very incompleteJohn Hodge1-0/+1
2016-05-29HIR - Add binding pointers to TypeRef and PatternJohn Hodge1-3/+25
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge1-0/+8
2016-05-23HIR - Add type alias replacement. Other related changes belowJohn Hodge1-0/+144
2016-05-14HIR TypesJohn Hodge1-5/+0
2016-05-14HIR - Boilerplate code, compilesJohn Hodge1-0/+12
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-19 14:51:00 +0000