summaryrefslogtreecommitdiff
path: root/src/hir/expr.hpp
AgeCommit message (Collapse)AuthorFilesLines
2019-11-23HIR - Restructure resolve to replace `Self` type later in processingJohn Hodge1-3/+5
2019-11-07All - Fix some clang warningsJohn Hodge1-1/+1
2019-11-10HIR Typecheck - Remove pre-setting of node result typeJohn Hodge1-19/+22
2019-10-26Merge remote-tracking branch 'remotes/origin/master' into nightly-1.29John Hodge1-0/+1
2019-10-26Expand HIR Closures - Avoid mutating module contents during iterationJohn Hodge1-0/+1
2019-10-08HIR Expand Closures - Impl Copy for Borrow/no-capture closuresJohn Hodge1-0/+1
2019-09-30HIR Typecheck - Coercion point at indexingJohn Hodge1-0/+4
2019-05-19All - Switch to using interned (de-duplicated) RcString-s instead of ↵John Hodge1-13/+13
std::string for paths/identifiers
2019-02-03HIR Expr - Have _StructLiteral take a HIR::Path (to allow associated types ↵John Hodge1-2/+2
to be used)
2019-01-05HIR - Visit result typeJohn Hodge1-0/+2
2018-11-29Mark destructors in base classes as virtual.Arlie Davis1-0/+1
This is required for correctness, and when using -fsized-deallocation the previous code fails.
2018-09-22All - Generate MIR for constant evaluation (has too many const_cast calls, ↵John Hodge1-2/+3
but it's less ugly) - Also includes some MIR optimisation changes to reduce some compile times (hopefully) - Removed duplicated MIR consteval and now-unused HIR consteval
2018-06-04All - Ensure that all files have a header comment, remove some dead codeJohn Hodge1-0/+5
2018-05-24HIR - Borrow lifetime annotations included (not actually used or valid)John Hodge1-8/+4
2017-08-31HIR - Rough spport for `break value;` (no translation/typecheck yet)John Hodge1-3/+4
2017-05-07HIR - Replace m_yeilds_final_value with a nodeJohn Hodge1-5/+4
2016-12-29HIR - asm! nodeJohn Hodge1-0/+28
2016-12-24No more tears!ubsan1-89/+89
No more DOS line endings or trailing whitespace either
2016-12-18HIR - Move closuresJohn Hodge1-3/+4
2016-11-27HIR - Move impl parameters from node to the pathJohn Hodge1-2/+0
2016-11-20HIR Expr - Pass span to visit_patternJohn Hodge1-1/+1
2016-11-19HIR - Union handlingJohn Hodge1-0/+21
2016-11-04HIR Annotate - Only borrow struct cosntructor base values when no fields are ↵John Hodge1-0/+1
moved
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-5/+1
2016-10-10HIR Expand Closures - Avoid bad monomorphisationsJohn Hodge1-0/+1
2016-10-08HIR+MIR - Correct handling of diverging loopsJohn Hodge1-0/+1
2016-10-08HIR Closures - Rework to correctly support borrow typesJohn Hodge1-2/+1
2016-10-01HIR Typecheck Expr - Handle posibly-diverging loop blocks correctlyJohn Hodge1-1/+2
2016-10-01HIR - Support tuple enum variants as function pointersJohn Hodge1-0/+1
2016-09-29HIR Typecheck Expr - Apply coercions to CallValueJohn Hodge1-1/+4
2016-09-24HIR Typecheck Expr - Provide a list of usable ivars to find_methodJohn Hodge1-0/+5
2016-09-18HIR - Rework to include a node for in/box (for better type inferrence)John Hodge1-0/+32
2016-09-15Restructure - Don't insert automatic () statements at end of blocksJohn Hodge1-2/+5
2016-08-22AST+HIR - Save decoded receiver type for methodsJohn Hodge1-0/+1
2016-08-21HIR Expand - Fix closure conversionJohn Hodge1-0/+1
2016-08-17HIR Visitor - Include type/paths visit functions in ExprJohn Hodge1-0/+7
2016-08-14HIR - Move borrow ops to their own node typeJohn Hodge1-4/+16
2016-08-14HIR Expand Calls - Add Index desugarJohn Hodge1-0/+10
2016-08-14HIR Expand - Add annotation passJohn Hodge1-0/+13
2016-08-11HIR - Store path to closure object for MIR generationJohn Hodge1-0/+2
2016-08-07HIR Typecheck CS - Include used trait for CallValue (for codegen)John Hodge1-0/+11
2016-08-07HIR - Start work on closure expansionJohn Hodge1-0/+2
2016-08-06HIR - Start on closure annotationsJohn Hodge1-0/+10
2016-08-01HIR - Support getting tuple struct constructors as function pointersJohn Hodge1-0/+1
2016-07-03HIR Typecheck - CS - Method trait listJohn Hodge1-1/+4
2016-07-02HIR - CS Typecheck work, Store 'is_struct' flag in StructLiteral nodeJohn Hodge1-1/+3
2016-06-26HIR Typecheck - Comment on inferrence qurikJohn Hodge1-0/+1
2016-06-26HIR Typecheck - Hacking to piecesJohn Hodge1-0/+56
2016-06-12HIR - Trait scoping fixesJohn Hodge1-1/+3
2016-06-11HIR - (cleanup) Make method to handle creating new array typesJohn Hodge1-5/+1