summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
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
2016-07-16HIR Typecheck CS - Support trait method pointersJohn Hodge1-1/+57
2016-07-16HIR Typecheck - HACK: Correct trait type selection with evilJohn Hodge6-59/+307
2016-07-15HIR Typecheck - (BROKEN) Fixing trait selection for associated typesJohn Hodge5-30/+37
2016-07-15HIR Typecheck - Expand associated types in outer typeckJohn Hodge4-46/+703
2016-07-14HIR - Working on better outer typecheck and resolutionJohn Hodge6-13/+172
2016-07-14HIR TypeCheck - Recursively check implied traits in boundsJohn Hodge1-0/+5
2016-07-14HIR Typecheck - Traits are imported within trait implsJohn Hodge1-0/+2
2016-07-14HIR Typecheck - Use a proper fuzzy match when comparing bound type paramsJohn Hodge1-9/+1
2016-07-14Macro Rules - Seems to be workingJohn Hodge1-3/+19
2016-07-14Macro Rules - Running fully once more, may still be incorrectJohn Hodge4-33/+79
2016-07-14Macro Rules - Rewrite, take 3 - IncompleteJohn Hodge12-304/+333
2016-07-12HIR Typecheck - (minor) Print type in monomorphise_type TODOJohn Hodge1-2/+2
2016-07-12HIR Typecheck CS - Allow casts from fn-types to `*const ()`John Hodge1-1/+9
2016-07-12HIR Typecheck - Don't attempt to typecheck nullptr array sizesJohn Hodge1-1/+3
2016-07-12HIR Typcheck - Hack method calls a littleJohn Hodge1-3/+15
2016-07-12HIR Typecheck - Extra defenceJohn Hodge1-0/+2
2016-07-12HIR Typecheck - Handle more complex impl bindingsJohn Hodge2-21/+25
2016-07-12HIR Types - Support returning match state from match generic callbackJohn Hodge5-11/+17
2016-07-12HIR Typecheck - Planning out handling for more effective impl param determiningJohn Hodge2-11/+55
2016-07-11HIR Typecheck - Better error message when a type param is unknown in impl ↵John Hodge1-1/+1
searching
2016-07-11Expand derive - Fix some broken casesJohn Hodge1-7/+3
2016-07-11HIR Typecheck CS - Remove todo panic on unknown infer, fix missed base value ↵John Hodge2-22/+65
in struct literals
2016-07-11Expand derive - Add CopyJohn Hodge1-0/+35
2016-07-11Expand derive - Eq and CloneJohn Hodge2-0/+298
2016-07-10HIR Typecheck - Use Deref impl in autoderefJohn Hodge1-2/+2
2016-07-10HIR Typecheck CS - Fix autoderef picking non-methodsJohn Hodge2-29/+45
2016-07-10HIR Typecheck CS - Mark result of a field access as unknownJohn Hodge1-0/+3
2016-07-10HIR Typecheck CS - Functions don't coerceJohn Hodge1-6/+6
2016-07-10HIR Typecheck CS - Only fire missing impl error when the types are fully knownJohn Hodge1-3/+7
2016-07-10HIR Typecheck CS - Hack around cases where an ivar is known to be either ↵John Hodge1-2/+45
`&[T]` or `&[_]`
2016-07-10HIR Typecheck CS - Cleaner debug outputJohn Hodge2-3/+20
2016-07-10HIR Typecheck CS - (minor) Debugging fixJohn Hodge1-1/+1
2016-07-10HIR Typecheck CS - &[T] can't coerce to anythingJohn Hodge1-2/+16
2016-07-10HIR Typecheck CS - (minor) Logging in ivar possibilitiesJohn Hodge1-8/+14
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-19 14:26:48 +0000