summaryrefslogtreecommitdiff
path: root/src/hir/type.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-06-04HIR Markings - Flag for any Copy implJohn Hodge1-0/+13
2019-04-20HIR Typecheck - Bulk commit of typecheck fixes, less magicJohn Hodge1-0/+14
2019-02-09Typecheck - Various fixes for librustcJohn Hodge1-14/+16
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge1-0/+2
2018-12-09HIR Types - Comment out an overly-verbose log messageJohn Hodge1-1/+1
2018-11-03HIR Typecheck - Fixing holes from 1.29 compiler_builtinsJohn Hodge1-30/+30
2018-05-25HIR - No more name in lifetime paramsJohn Hodge1-4/+4
2018-05-24HIR - Borrow lifetime annotations included (not actually used or valid)John Hodge1-1/+1
2018-01-27Trans - Add "backend" for monomorphised MIRJohn Hodge1-2/+5
2017-09-08Typecheck - Various tweaks from librustdocJohn Hodge1-3/+6
2017-06-09Fix use of hard tabsJohn Hodge1-1/+1
2017-05-14Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge (bugs)1-1/+20
2017-04-16HIR Type Match - Handle matching two InfersJohn Hodge1-1/+20
2017-03-04Many many changes to allow compiling in visual studio (Community 2015)John Hodge (bugs)1-0/+1
2017-02-25Add visual studio project files, little tweaks to codebase to allow compiling...John Hodge (bugs)1-4/+4
2017-01-08Trans - Enable translation of all public items in rlibsJohn Hodge1-0/+4
2017-01-08All - i128/u182 support, typecheck and parse fixesJohn Hodge1-0/+6
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-21 21:57:07 +0000