summaryrefslogtreecommitdiff
path: root/src/hir_conv
AgeCommit message (Collapse)AuthorFilesLines
2016-06-26HIR Typecheck - Support function pointers to methodsJohn Hodge1-0/+6
2016-06-13HIR - Fix type parameter counts during bindJohn Hodge1-0/+30
2016-06-13HIR - Fix name resolution of `Type::method` to search inherent then traitsJohn Hodge2-48/+80
2016-06-12HIR - Trait scoping fixesJohn Hodge1-2/+8
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge1-2/+2
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge1-3/+1
2016-06-11HIR Typecheck - ConstantsJohn Hodge1-0/+3
2016-06-08HIR - Move tuple struct/enum construtors to their on HIR nodeJohn Hodge1-0/+3
- This makes typeck of those invocations easier
2016-06-06HIR Const Eval - Evaluate in function/method callsJohn Hodge1-0/+9
2016-06-06HIR Typecheck - Rough inclusion of function calls in typeckJohn Hodge1-31/+1
2016-06-05Resolve - UFCS resolution expanded to handle `Self` and paramsJohn Hodge2-68/+154
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge1-58/+130
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge4-5/+5
2016-06-04HIR Typeck - More work on itJohn Hodge1-5/+25
2016-06-04Compilation fixes (clang and different gcc version)John Hodge4-4/+4
2016-06-04HIR Typeck - Add slice unsize, breaks due to inferrence orderJohn Hodge1-0/+7
2016-06-04Byte string literals in AST, infrastructure for coercionsJohn Hodge1-2/+1
2016-05-29HIR Conv - De-duplicate codeJohn Hodge1-47/+36
2016-05-29Parse/AST/HIR - Support Enum::Var(..) and Struct { .. } patters properlyJohn Hodge1-0/+30
2016-05-29HIR Typecheck - Expression inference coming alongJohn Hodge1-0/+15
2016-05-29Resolve - Fix glob imports of enums yeilding bad pathsJohn Hodge1-1/+1
2016-05-29HIR - Add binding pointers to TypeRef and PatternJohn Hodge3-1/+264
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge2-0/+4
2016-05-27HIR Conv - Constant evaluation pass running (fully?)John Hodge4-24/+498
2016-05-26HIR Const Eval - libcore types done, onwards to `const` itemsJohn Hodge1-21/+155
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge1-1/+183
2016-05-24HIR Expand Type - Convert to use a generic HIR visitorJohn Hodge1-216/+65
2016-05-24HIR Lower - Lower impl blocksJohn Hodge3-0/+12
2016-05-23HIR - Add type alias replacement. Other related changes belowJohn Hodge2-0/+297
- 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