summaryrefslogtreecommitdiff
path: root/src/hir_conv/resolve_ufcs.cpp
AgeCommit message (Expand)AuthorFilesLines
2017-10-01Resolve UFCS - Disable checking in type aliasesJohn Hodge1-0/+7
2017-08-31HIR Resolve UFCS - Fix assertion failure (allow false return)John Hodge1-1/+5
2017-07-16All - Upgrade to rustc 1.19.0 beta (2017-07-08)John Hodge1-1/+30
2017-03-04Many many changes to allow compiling in visual studio (Community 2015)John Hodge (bugs)1-4/+4
2017-01-14HIR Resolve UFCS - Fix broken logic from parent trait refactorJohn Hodge1-93/+114
2017-01-14HIR - Build up a flattened list of parent traits early to save time laterJohn Hodge1-0/+1
2016-12-24No more tears!ubsan1-38/+38
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge1-10/+11
2016-11-05HIR Resolve UFCS - Tweak handling of Self in trait implsJohn Hodge1-36/+42
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-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 Resolve UFCS - Populate trait paramsJohn Hodge1-1/+16
2016-10-22HIR Conv - Bind UFCS paths in patternsJohn Hodge1-0/+60
2016-10-21HIR Resolve UFCS - Visit patternsJohn Hodge1-0/+11
2016-10-21HIR - Associated constant typecheck and MIR supportJohn Hodge1-1/+5
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 can...John Hodge1-1/+3
2016-09-12Resolve UFCS - (minor) Debug messages and commentingJohn Hodge1-5/+7
2016-09-01HIR - Look for impls in extern cratesJohn Hodge1-7/+5
2016-08-11All - Clang warning fixesJohn Hodge1-1/+1
2016-08-06HIR Conv - Fix bad trait args in UFCS trait selectionJohn Hodge1-3/+32
2016-08-01HIR - Path reporting in iterationJohn Hodge1-7/+7
2016-07-17HIR - Fix bad trait path creationJohn Hodge1-2/+3
2016-07-17HIR Typecheck - Ivars in earlier passesJohn Hodge1-3/+4
2016-07-16HIR Typecheck - HACK: Correct trait type selection with evilJohn Hodge1-34/+26
2016-07-15HIR Typecheck - (BROKEN) Fixing trait selection for associated typesJohn Hodge1-16/+13
2016-06-26HIR Typecheck - Support function pointers to methodsJohn Hodge1-0/+6
2016-06-13HIR - Fix name resolution of `Type::method` to search inherent then traitsJohn Hodge1-45/+74
2016-06-12HIR - Trait scoping fixesJohn Hodge1-2/+8
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge1-2/+2
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 Hodge1-66/+152
2016-06-05HIR - Spanned expressions, fixed sections of resolveJohn Hodge1-58/+130
2016-06-04Resolve - Fix variable resolution and pattern bindingJohn Hodge1-1/+1
2016-06-04Compilation fixes (clang and different gcc version)John Hodge1-1/+1
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge1-0/+2
2016-05-27HIR Conv - Constant evaluation pass running (fully?)John Hodge1-0/+217