summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-08-04HIR Typechck CS - Cleanup and work on correcting inferrence errorsJohn Hodge1-72/+104
2016-08-04HIR Typecheck CS - When an ivar is unknown but of a set, pick the most ↵John Hodge1-15/+103
liberal type
2016-08-03HIR Typecheck CS - Fixed case where an ivar was incorrectly reducedJohn Hodge1-0/+22
2016-08-03Expand Derive - Working extra boundsJohn Hodge1-5/+8
2016-08-03Expand Derive - Rough bounding of related typesJohn Hodge1-32/+45
2016-08-03Expand Derive - Work on adding bounds for associated typesJohn Hodge1-1/+136
2016-08-03Expand Derive - Clean up codegen with more macroJohn Hodge1-86/+94
2016-08-03Expand Derive - Add trait bounds for Debug implsJohn Hodge1-16/+23
2016-08-03HIR Typecheck CS - Add Unsize insertion for TraitObject coerceJohn Hodge1-9/+8
2016-08-03HIR Typecheck CS - Add Unsize supportJohn Hodge1-29/+15
2016-08-03HIR Typecheck - Trait object -> trait object coercionsJohn Hodge3-23/+113
2016-08-03HIR Typecheck - Misc bugfixesJohn Hodge2-5/+44
2016-08-02HIR Typehcheck CS - Better applicationJohn Hodge2-3/+21
2016-08-02HIR Typecheck - Draft validation passJohn Hodge4-0/+662
2016-08-01HIR - Path reporting in iterationJohn Hodge8-104/+151
2016-08-01HIR - Support getting tuple struct constructors as function pointersJohn Hodge6-5/+44
2016-08-01HIR Typecheck CS - FnOnce impl search planJohn Hodge1-1/+7
2016-08-01HIR Typecheck - Altered ! handling to be an ivar type, fix fuzzy matches in ↵John Hodge6-60/+222
expand_associated_types
2016-08-01HIR Typecheck CS - Short-circuit when coercing from *const _John Hodge1-1/+8
2016-08-01HIR Typecheck CS - Don't coerce on let unless type is specifiedJohn Hodge1-1/+8
2016-08-01HIR Typecheck CS - Apply/check let and closure nodesJohn Hodge1-1/+15
2016-08-01HIR Typecheck CS - Edge case associate type equalityJohn Hodge1-2/+16
2016-08-01HIR Typecheck - Use specialisable flagJohn Hodge1-1/+6
2016-08-01HIR - Include specialisable marker in implsJohn Hodge8-27/+42
2016-08-01AST - Add specialisable tag to impl itemsJohn Hodge9-86/+99
2016-07-31HIR Typecheck - (minor) Debug output tweaksJohn Hodge3-2/+5
2016-07-31HIR Typecheck CS - Keep track of closure return typeJohn Hodge1-1/+9
2016-07-31HIR - Support comparing specificity of trait implsJohn Hodge3-3/+151
2016-07-31HIR Typecheck - Specialised associated type selectionJohn Hodge2-6/+35
2016-07-31HIR Typecheck - (minor) Logging in expand associated typesJohn Hodge1-2/+1
2016-07-31HIR Typecheck - Fixed associated type lookupJohn Hodge4-203/+222
2016-07-25HIR Typecheck - Expand associated types when getting output typeJohn Hodge2-11/+27
2016-07-25HIR Typecheck - Slowly fixing up with impl specialisationJohn Hodge3-15/+31
2016-07-21HIR Typecheck - BROKEN: Switch to ImplRef everywhereJohn Hodge10-167/+249
2016-07-19HIR - Very rough impl specialisation support in outer typeckJohn Hodge6-22/+170
2016-07-17HIR - Fix bad trait path creationJohn Hodge3-5/+8
2016-07-17HIR Typecheck - Ivars in earlier passesJohn Hodge4-7/+17
2016-07-17Parse - (HACK) Parse (and discard) specialisation markersJohn Hodge1-0/+16
2016-07-17HIR Typecheck CS - (minor) LoggingJohn Hodge1-2/+3
2016-07-17HIR Typecheck CS - (minor) Log number of passes requiredJohn Hodge1-1/+1
2016-07-17HIR FromAST - Fix incorrect desugar of RangeInclusive::NonEmptyJohn Hodge1-1/+1
2016-07-17HIR Typecheck CS - (minor) Comment about edge-case in last commitJohn Hodge1-1/+3
2016-07-17HIR Typecheck CS - Account for associated type equality application in coercion.John Hodge1-5/+6
2016-07-17HIR Typecheck - Expand ATs after monomorph in boundJohn Hodge1-0/+1
2016-07-17HIR Typecheck - (minor) Clean up of odd variable namingJohn Hodge1-30/+30
2016-07-17HIR,HIR Typecheck - Simplify associated type bounds, add type replacementsJohn Hodge6-152/+129
2016-07-17HIR Typecheck - Building set of type equalitiesJohn Hodge1-1/+28
2016-07-17HIR - Allow sorting of types and pathsJohn Hodge6-3/+173
2016-07-16HIR Typecheck CS - Reduce log spamJohn Hodge4-15/+23
2016-07-16HIR Typecheck - Monomorphise trait parameters in bound checkingJohn Hodge1-2/+5
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-08 05:57:04 +0000