summaryrefslogtreecommitdiff
path: root/src/hir_typeck/expr_check.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-05-19All - Switch to using interned (de-duplicated) RcString-s instead of std::str...John Hodge1-2/+2
2019-05-03HIR Typecheck - Tweaks to validation code to allow pre-expand checksJohn Hodge1-2/+120
2019-03-02HIR Typecheck Validate - Debugging tweaksJohn Hodge1-15/+14
2019-02-28HIR Typecheck - Tweak to validation code for closure castsJohn Hodge1-9/+26
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge1-0/+9
2019-02-03HIR Expr - Have _StructLiteral take a HIR::Path (to allow associated types to...John Hodge1-2/+4
2018-12-29Typecheck Expressions - Fix incorrect anotation on blocks traversed for coerc...John Hodge1-0/+1
2018-12-22MIR Cleanup - Better error reporting for bugs around unevaluated Literal::DeferJohn Hodge1-0/+1
2018-11-03HIR Typecheck - Fixing holes from 1.29 compiler_builtinsJohn Hodge1-2/+2
2018-08-03HIR Typecheck - Handle UfcsUnknown in fuzzy matchingJohn Hodge1-4/+4
2017-11-26HIR/MIR - Error checking for assigning into ! (as opposed to from !)John Hodge1-2/+29
2017-11-01HIR - Refactor enums to only embed a single field (and give variants types)John Hodge1-19/+32
2017-10-29HIR Typecheck - Allow casting function pointers to *const i8John Hodge1-1/+1
2017-08-22Typecheck/MIR - Some missing EAT invocationsJohn Hodge1-2/+10
2017-06-09Fix use of hard tabsJohn Hodge1-2/+2
2017-06-04Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge (bugs)1-12/+60
2017-06-03HIR Typecheck - Validate traits after typecheckJohn Hodge1-12/+49
2017-05-26HIR Typecheck - Handle struct syntax for unit structsJohn Hodge1-0/+8
2017-05-15HIR Typecheck - Handling of implicit Sized bound when searching forJohn Hodge1-0/+3
2017-05-14Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge (bugs)1-2/+3
2017-05-07HIR - Replace m_yeilds_final_value with a nodeJohn Hodge1-2/+3
2017-03-04Many many changes to allow compiling in visual studio (Community 2015)John Hodge (bugs)1-52/+8
2017-01-14HIR - Build up a flattened list of parent traits early to save time laterJohn Hodge1-1/+2
2016-12-29HIR - asm! nodeJohn Hodge1-0/+14
2016-12-24No more tears!ubsan1-98/+98
2016-12-18HIR Typecheck - Fix some deficiencies in static typecheckJohn Hodge1-11/+22
2016-11-27HIR - Move impl parameters from node to the pathJohn Hodge1-2/+2
2016-11-22HIR Typecheck - Function to *const u8John Hodge1-1/+1
2016-11-20MIR+HIR Validation - Expand associated types in return typeJohn Hodge1-24/+12
2016-11-19HIR - Union handlingJohn Hodge1-5/+18
2016-11-19HIR - Add Union type path bindingJohn Hodge1-0/+9
2016-11-18HIR Typecheck Validate - Expand ErasedType in callee returnsJohn Hodge1-2/+22
2016-11-18HIR Typecheck - Expand associated types in function pointersJohn Hodge1-1/+1
2016-11-18HIR Typecheck Validate - Fix some small bugs, start on ErasedType supportJohn Hodge1-26/+40
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge1-1/+4
2016-11-04HIR Annotate - Only borrow struct cosntructor base values when no fields are ...John Hodge1-1/+1
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-1/+1
2016-10-23HIR Typecheck Validate - Fix minor bugJohn Hodge1-2/+3
2016-10-20HIR Typecheck - Associated constant result typeJohn Hodge1-1/+4
2016-10-08HIR+MIR - Allow unsize between two genericsJohn Hodge1-15/+5
2016-10-07HIR Typecheck Expr - Use bounds from traits for opaque associated typesJohn Hodge1-1/+22
2016-10-05HIR Typecheck Validate - Allow vardic functionsJohn Hodge1-1/+5
2016-10-05HIR Typecheck Validate - Allow no-op castsJohn Hodge1-0/+6
2016-10-01HIR - Support tuple enum variants as function pointersJohn Hodge1-0/+2
2016-09-27HIR Typecheck - Support casting all integers to pointersJohn Hodge1-1/+15
2016-09-18HIR - Rework to include a node for in/box (for better type inferrence)John Hodge1-0/+21
2016-09-15Parse+Typecheck Validate - Remove implicit ()John Hodge1-1/+1
2016-09-06HIR Typcheck Expr Check - Fix cast rulesJohn Hodge1-6/+11
2016-09-04HIR - Restructure _Unsize handling to operate on pointersJohn Hodge1-11/+30
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge1-3/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 01:22:11 +0000