summaryrefslogtreecommitdiff
path: root/src/hir/expr.hpp
AgeCommit message (Expand)AuthorFilesLines
2016-12-29HIR - asm! nodeJohn Hodge1-0/+28
2016-12-24No more tears!ubsan1-89/+89
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
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
2016-06-11HIR Typecheck - ConstantsJohn Hodge1-2/+27
2016-06-10HIR Typecheck - Hack up closure inferrence from Fn* traitsJohn Hodge1-2/+16
2016-06-09HIR Typecheck - struct literalsJohn Hodge1-0/+3
2016-06-08HIR - Lower associated type bounds, use those in typeckJohn Hodge1-0/+3
2016-06-08HIR Typecheck - Search supertraits in generic searchJohn Hodge1-0/+1
2016-06-08HIR - Move tuple struct/enum construtors to their on HIR nodeJohn Hodge1-0/+21
2016-06-07HIR - Add literal annotation to TypeRef::Data::InferJohn Hodge1-0/+6
2016-06-07HIR Expr - Rename m_val to m_value, add visitor for pointersJohn Hodge1-10/+12
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge1-0/+4
2016-06-06HIR Typecheck - Method calls being planned, fixed resolution of Generic typesJohn Hodge1-1/+5
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge1-41/+61
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge1-6/+4
2016-06-04HIR Typeck - Add slice unsize, breaks due to inferrence orderJohn Hodge1-5/+34
2016-06-04HIR Typeck - Coming along, close to needing coercionsJohn Hodge1-6/+43
2016-06-03HIR - Working on type inference, very incompleteJohn Hodge1-1/+12
2016-05-29HIR Typecheck - Expression inference coming alongJohn Hodge1-1/+2
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-23 11:42:24 +0000