summaryrefslogtreecommitdiff
path: root/src/hir/type.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-12-24No more tears!ubsan1-18/+18
2016-12-01Trans - Enumeration work structured out, vtables hacked inJohn Hodge1-3/+3
2016-11-19HIR - Add Union type path bindingJohn Hodge1-3/+5
2016-11-17HIR Typecheck Expr - Extend Opaque=fuzzy hackJohn Hodge1-0/+4
2016-11-13HIR Typecheck - Slow work on ErasedTypeJohn Hodge1-1/+3
2016-11-11HIR - Tweak ErasedType for implementationJohn Hodge1-2/+2
2016-11-09HIR Type Compare - Compare size in MTGFJohn Hodge1-0/+3
2016-11-06HIR Typecheck Expr - Fix leaking of a placeholder paramJohn Hodge1-3/+5
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-8/+11
2016-10-28HIR Typecheck - Fuzzy match more cases with unbound UFCSJohn Hodge1-33/+48
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-22/+40
2016-10-22HIR Typecheck Expr - Error earlier if an impl can't be foundJohn Hodge1-1/+29
2016-10-22HIR Types - Treat unbound path types as fuzzy matches in compare_with_placeho...John Hodge1-0/+6
2016-10-20HIR Typecheck Expr - Fix bug in array unsizeJohn Hodge1-0/+22
2016-10-13HIR - Match function typesJohn Hodge1-1/+14
2016-10-12Make deault ABI a #defineJohn Hodge1-1/+1
2016-10-06Parse - Save unsafety for function pointer typesJohn Hodge1-4/+6
2016-10-03HIR - Hack: Treat impl placeholder generics as ivars in match_test_generics_fuzzJohn Hodge1-0/+5
2016-10-01HIR Type - Handle lhs ivar in match_test_generics_fuzzJohn Hodge1-1/+43
2016-09-25HIR - Hacky consteval fixesJohn Hodge1-2/+12
2016-09-24HIR Typecheck Expr - Fix impl selection bug with an evil hackJohn Hodge1-0/+7
2016-09-14HIR Type - match_generics_fuzz: Equate equal ivarsJohn Hodge1-2/+10
2016-09-04HIR - Support fuzzy generic match on TraitObjectJohn Hodge1-2/+28
2016-09-04HIR - Restructure _Unsize handling to operate on pointersJohn Hodge1-1/+14
2016-08-27HIR (De)serialise - Working deserialiseJohn Hodge1-0/+10
2016-08-25HACK - Assume that unknown-sized arrays compare equalJohn Hodge1-1/+4
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