summaryrefslogtreecommitdiff
path: root/src/hir/expr.hpp
AgeCommit message (Collapse)AuthorFilesLines
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
- This makes typeck of those invocations easier
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
2016-05-26HIR Const Eval - libcore types done, onwards to `const` itemsJohn Hodge1-0/+3
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge1-1/+3
2016-05-23HIR - Add type alias replacement. Other related changes belowJohn Hodge1-0/+42
- Added pretty printing for HIR paths and types - Added a sub-pass to resolve/index that makes all index paths point at the actual item (no imports involved) - Split up some contents of main_bindings.hpp
2016-05-20Expand+HIR - `?` desugar, closuresJohn Hodge1-2/+22
2016-05-19HIR Lower - Add desugared while/while letJohn Hodge1-0/+14
2016-05-19Lower HIR - More expression typesJohn Hodge1-0/+111
2016-05-18Tagged union cleanup hacksJohn Hodge1-0/+41
2016-05-18HIR - Fix bug in initialising ExprNode_LetJohn Hodge1-1/+1
2016-05-16HIR - Few more expression nodesJohn Hodge1-0/+46
2016-05-15HIR - Expression conversion progressingJohn Hodge1-6/+212
2016-05-15HIR - Start on expression conversionJohn Hodge1-0/+29