summaryrefslogtreecommitdiff
path: root/src/hir_conv
AgeCommit message (Collapse)AuthorFilesLines
2016-08-18All - Support tuple patterns with .. at the start/end - TODO: Support in the ↵John Hodge1-20/+0
middle
2016-08-14HIR - Move borrow ops to their own node typeJohn Hodge1-4/+3
2016-08-14HIR Const Eval - Fix UniOp falling throughJohn Hodge1-1/+13
2016-08-13HIR Bind - Pattern valuesJohn Hodge1-5/+15
2016-08-12HIR Patterns - Support binding Value::Named to targetsJohn Hodge1-70/+91
2016-08-11All - Clang warning fixesJohn Hodge3-4/+4
2016-08-10HIR - Add EnumValue variant to PatternJohn Hodge1-0/+72
2016-08-06HIR Conv - Fix bad trait args in UFCS trait selectionJohn Hodge1-3/+32
2016-08-01HIR - Path reporting in iterationJohn Hodge2-9/+9
2016-08-01HIR - Include specialisable marker in implsJohn Hodge1-2/+2
2016-07-17HIR - Fix bad trait path creationJohn Hodge1-2/+3
2016-07-17HIR Typecheck - Ivars in earlier passesJohn Hodge1-3/+4
2016-07-17HIR,HIR Typecheck - Simplify associated type bounds, add type replacementsJohn Hodge1-0/+8
2016-07-16HIR Typecheck - HACK: Correct trait type selection with evilJohn Hodge2-35/+27
2016-07-15HIR Typecheck - (BROKEN) Fixing trait selection for associated typesJohn Hodge1-16/+13
2016-07-14HIR - Working on better outer typecheck and resolutionJohn Hodge1-9/+35
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-20 21:02:21 +0000