summaryrefslogtreecommitdiff
path: root/src/hir_conv
AgeCommit message (Collapse)AuthorFilesLines
2016-09-18HIR - Rework to include a node for in/box (for better type inferrence)John Hodge1-0/+3
2016-09-12Resolve UFCS - Make a missing method defintion an error againJohn Hodge1-1/+1
2016-09-12Resolve UFCS - HACK: Let unknown UFCS paths remain as UfcsUnknown if they ↵John Hodge1-1/+3
can't be resolved here
2016-09-12Resolve UFCS - (minor) Debug messages and commentingJohn Hodge1-5/+7
2016-09-03HIR Bind - HACK: Run over extern crates tooJohn Hodge1-0/+5
2016-09-03HIR Const Eval - Minimal working MIR constevalJohn Hodge1-8/+22
2016-09-03HIR Const Eval - More structure to MIR execution supportJohn Hodge1-3/+20
2016-09-03HIR - Convert Literal::BorrowOf to use a full pathJohn Hodge1-1/+1
2016-09-03HIR Const Eval - Rough structure for MIR evalJohn Hodge1-1/+173
2016-09-02HIR Const Eval - Restructure to allow MIR executionJohn Hodge1-47/+66
2016-09-01HIR Const Eval - Support fn pointersJohn Hodge1-17/+20
2016-09-01HIR Const Eval - Restructure item lookup to make handling fn pointers easierJohn Hodge1-61/+78
2016-09-01HIR Const Eval - Extern crate supportJohn Hodge1-3/+8
2016-09-01HIR - Look for impls in extern cratesJohn Hodge1-7/+5
2016-09-01HIR Conv - Fix case where crate name was ignoredJohn Hodge1-1/+8
2016-09-01Resolve - Misc fixesJohn Hodge1-2/+7
2016-09-01HIR Conv Expand - Clean up duplicated codeJohn Hodge1-24/+3
2016-08-26Const Eval - Evaluate enum valuesJohn Hodge1-0/+12
2016-08-20HIR - Support &[...] in constant evaluation (hacky)John Hodge1-9/+61
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