summaryrefslogtreecommitdiff
path: root/src/hir_conv
AgeCommit message (Collapse)AuthorFilesLines
2016-12-10Trans - Slight handling of DST structsJohn Hodge1-0/+13
2016-12-10HIR ConstEval - Do basic type inferrence so created statics have correct typesJohn Hodge1-35/+164
2016-12-10MIR - More CoerceUnsized/Unsize hackeryJohn Hodge1-2/+35
2016-12-10HIR->MIR - Destructuring CoerceUnsizedJohn Hodge1-2/+78
2016-12-07MIR - Merge two call types into one with a different targetJohn Hodge2-10/+16
2016-12-04HIR Bind - MIR Cast typesJohn Hodge1-0/+1
2016-12-04HIR Bind - Visit MIR types.John Hodge1-0/+4
2016-12-03MIR - Create a CallPath terminatorJohn Hodge2-7/+9
2016-12-03HIR/Trans - Bind items in external MIR, use StaticTraitResolve in transJohn Hodge1-0/+133
2016-12-03HIR/MIR - VTable workJohn Hodge1-1/+6
2016-11-25HIR - Shift markings to their own pass, store in crate metadata.John Hodge3-44/+88
2016-11-25HIR Bind - Visit all generic pathsJohn Hodge1-0/+5
2016-11-25HIR Expand Type Aliases - Visi generic pathsJohn Hodge1-0/+4
2016-11-23HIR Expand TypeAlias - Fix small gapJohn Hodge1-0/+6
2016-11-20MIR - Union support hacked upJohn Hodge1-0/+3
2016-11-19HIR - Union handlingJohn Hodge1-0/+4
2016-11-19HIR - Add Union type path bindingJohn Hodge2-0/+11
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge1-10/+11
2016-11-16HIR Typcheck - Hackily hndle default parametersJohn Hodge1-0/+3
2016-11-08HIR Const Eval - Fields on structsJohn Hodge1-1/+34
2016-11-08HIR Const Eval - MIR Constant::ConstJohn Hodge1-1/+6
2016-11-07HIR Const Eval - Mask down unsigned integersJohn Hodge1-1/+108
2016-11-06HIR Consteval - Fix edge case where array inner wasn't expanded correctlyJohn Hodge1-4/+2
2016-11-05HIR Resolve UFCS - Tweak handling of Self in trait implsJohn Hodge1-36/+42
2016-11-04HIR Typecheck - Bind paths in StructLiteralJohn Hodge1-0/+11
2016-10-31All - Rough support for `union` (data structure present in all stages)John Hodge1-0/+2
2016-10-30HIR Const Eval - Field accesses in constants (requires type info)John Hodge1-16/+74
2016-10-30HIR Resolve UFCS - Handle `Self` in trait implsJohn Hodge1-4/+18
2016-10-30HIR Resolve UFCS - Self and default paramsJohn Hodge1-4/+23
2016-10-29HIR Resolve UFCS - (minor) Better message when bad generic is encounteredJohn Hodge1-1/+1
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-3/+5
2016-10-29HIR Const Eval - Rough associated constant lookupJohn Hodge1-2/+33
2016-10-28HIR Expand Type Aliases - Allow missing params in expression contextJohn Hodge1-10/+22
2016-10-28HIR - Allow TypeAlias paths in _StructLiteralJohn Hodge1-6/+21
2016-10-27HIR - Support type aliases in struct patternsJohn Hodge2-31/+115
2016-10-23HIR Resolve UFCS - Search current trait for asociated items, cleanupJohn Hodge1-63/+87
2016-10-22HIR Resolve UFCS - Fix trait path selectionJohn Hodge1-8/+27
2016-10-22HIR Const Eval - Rough MIR binop supportJohn Hodge1-2/+51
2016-10-22HIR Const Eval - (minor) comment about MIR cast opJohn Hodge1-0/+1
2016-10-22HIR Resolve UFCS - Populate trait paramsJohn Hodge1-1/+16
2016-10-22HIR Conv - Bind UFCS paths in patternsJohn Hodge2-12/+64
2016-10-21HIR Bind - Add TODO for binding associated constants in pattern valuesJohn Hodge1-4/+12
2016-10-21HIR Resolve UFCS - Visit patternsJohn Hodge1-0/+11
2016-10-21HIR Const Eval - Support associated constants, fix bug where default EntPtr ↵John Hodge1-10/+20
wasn't NotFound
2016-10-21HIR - Associated constant typecheck and MIR supportJohn Hodge2-1/+8
2016-10-19HIR Const Eval - Allow indexingJohn Hodge1-3/+18
2016-10-15HIR - Rough support for associated constsJohn Hodge1-4/+6
2016-10-10HIR Bind - Bind defaulted path paramsJohn Hodge1-3/+5
2016-10-01HIR - Store and use annotations for CoerceUnsized (and prepare markings for ↵John Hodge1-2/+48
other traits)
2016-09-28HIR Const Eval - Support enums in constant UnitVariantJohn Hodge1-11/+22
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-24 21:13:08 +0000