summaryrefslogtreecommitdiff
path: root/src/hir/visitor.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-06-22HIR - Wrap impls in unique_ptr to keep pointer stability hackJohn Hodge1-3/+3
2019-06-09HIR - Sort trait impls tooJohn Hodge1-23/+24
2019-06-04HIR - Use maps-of-vectors for impl lists for faster lookup, optimise Trans_En...John Hodge1-5/+22
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge1-0/+3
2019-01-12HIR Typecheck - Debugging tweaksJohn Hodge1-0/+6
2018-08-01HIR - Conversion and typecheck fixes for 1.29John Hodge1-3/+8
2017-11-01HIR - Refactor enums to only embed a single field (and give variants types)John Hodge1-19/+13
2017-09-30HIR Visitor - (minor) log module pathJohn Hodge1-1/+1
2017-01-14HIR - Build up a flattened list of parent traits early to save time laterJohn Hodge1-0/+3
2017-01-11All - Enable library codegen (and use crate name everywhere)John Hodge1-1/+1
2016-12-24No more tears!ubsan1-4/+4
2016-12-04HIR - Construct vtablesJohn Hodge1-0/+4
2016-12-03HIR/MIR - VTable workJohn Hodge1-1/+0
2016-11-27HIR - Move impl parameters from node to the pathJohn Hodge1-0/+2
2016-11-09HIR+Parse - Fix some ErasedTypes bugs before hitting the TODOsJohn Hodge1-1/+3
2016-10-31All - Rough support for `union` (data structure present in all stages)John Hodge1-0/+10
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-1/+2
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-0/+6
2016-10-22HIR - Allow (partial) TraitObject with no data trait, better logging of ItemPathJohn Hodge1-3/+11
2016-10-15HIR - Rough support for associated constsJohn Hodge1-1/+5
2016-10-03HIR+AST - Handle bytestring patternsJohn Hodge1-0/+2
2016-09-25HIR - Support float patternsJohn Hodge1-0/+2
2016-08-26HIR - Remove None variant for TraitValueItem, add literal for Enum ValueJohn Hodge1-2/+2
2016-08-19Patterns - Support tuples with .. (fully)John Hodge1-0/+6
2016-08-18All - Support tuple patterns with .. at the start/end - TODO: Support in the ...John Hodge1-6/+0
2016-08-16HIR - Misc tweaks for debugging typeck errorsJohn Hodge1-1/+1
2016-08-12HIR Patterns - Support binding Value::Named to targetsJohn Hodge1-1/+4
2016-08-10HIR - Add EnumValue variant to PatternJohn Hodge1-0/+3
2016-08-01HIR - Path reporting in iterationJohn Hodge1-14/+18
2016-08-01HIR - Include specialisable marker in implsJohn Hodge1-4/+4
2016-07-17HIR,HIR Typecheck - Simplify associated type bounds, add type replacementsJohn Hodge1-1/+2
2016-07-02HIR Typecheck - Unified Struct/Enum data structures, CS coming alongJohn Hodge1-2/+2
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge1-3/+9
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge1-1/+2
2016-06-09HIR - Add closure typeJohn Hodge1-0/+6
2016-06-07HIR Typecheck - Binary operator overloadsJohn Hodge1-1/+6
2016-06-05Resolve - UFCS resolution expanded to handle `Self` and paramsJohn Hodge1-22/+24
2016-06-04HIR Typeck - Coming along, close to needing coercionsJohn Hodge1-0/+11
2016-05-29Parse/AST/HIR - Support Enum::Var(..) and Struct { .. } patters properlyJohn Hodge1-0/+6
2016-05-29HIR - Add binding pointers to TypeRef and PatternJohn Hodge1-1/+1
2016-05-29HIR Typecheck - FiddlingJohn Hodge1-4/+0
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge1-5/+18
2016-05-27HIR Conv - Constant evaluation pass running (fully?)John Hodge1-13/+13
2016-05-26HIR Cosnt Eval - Initial work, hits TODOsJohn Hodge1-0/+3
2016-05-24HIR Expand Type - Convert to use a generic HIR visitorJohn Hodge1-0/+378
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-02 15:28:39 +0000