mrust - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2016-08-01	HIR Typecheck - Use specialisable flag	John Hodge	1	-1/+6

2016-08-01	HIR - Include specialisable marker in impls	John Hodge	8	-27/+42

2016-08-01	AST - Add specialisable tag to impl items	John Hodge	9	-86/+99

2016-07-31	HIR Typecheck - (minor) Debug output tweaks	John Hodge	3	-2/+5

2016-07-31	HIR Typecheck CS - Keep track of closure return type	John Hodge	1	-1/+9

2016-07-31	HIR - Support comparing specificity of trait impls	John Hodge	3	-3/+151

2016-07-31	HIR Typecheck - Specialised associated type selection	John Hodge	2	-6/+35

2016-07-31	HIR Typecheck - (minor) Logging in expand associated types	John Hodge	1	-2/+1

2016-07-31	HIR Typecheck - Fixed associated type lookup	John Hodge	4	-203/+222

2016-07-25	HIR Typecheck - Expand associated types when getting output type	John Hodge	2	-11/+27

2016-07-25	HIR Typecheck - Slowly fixing up with impl specialisation	John Hodge	3	-15/+31

2016-07-21	HIR Typecheck - BROKEN: Switch to ImplRef everywhere	John Hodge	10	-167/+249

2016-07-19	HIR - Very rough impl specialisation support in outer typeck	John Hodge	6	-22/+170

2016-07-17	HIR - Fix bad trait path creation	John Hodge	3	-5/+8

2016-07-17	HIR Typecheck - Ivars in earlier passes	John Hodge	4	-7/+17

2016-07-17	Parse - (HACK) Parse (and discard) specialisation markers	John Hodge	1	-0/+16

2016-07-17	HIR Typecheck CS - (minor) Logging	John Hodge	1	-2/+3

2016-07-17	HIR Typecheck CS - (minor) Log number of passes required	John Hodge	1	-1/+1

2016-07-17	HIR FromAST - Fix incorrect desugar of RangeInclusive::NonEmpty	John Hodge	1	-1/+1

2016-07-17	HIR Typecheck CS - (minor) Comment about edge-case in last commit	John Hodge	1	-1/+3

2016-07-17	HIR Typecheck CS - Account for associated type equality application in coercion.	John Hodge	1	-5/+6

2016-07-17	HIR Typecheck - Expand ATs after monomorph in bound	John Hodge	1	-0/+1

2016-07-17	HIR Typecheck - (minor) Clean up of odd variable naming	John Hodge	1	-30/+30

2016-07-17	HIR,HIR Typecheck - Simplify associated type bounds, add type replacements	John Hodge	6	-152/+129

2016-07-17	HIR Typecheck - Building set of type equalities	John Hodge	1	-1/+28

2016-07-17	HIR - Allow sorting of types and paths	John Hodge	6	-3/+173

2016-07-16	HIR Typecheck CS - Reduce log spam	John Hodge	4	-15/+23

2016-07-16	HIR Typecheck - Monomorphise trait parameters in bound checking	John Hodge	1	-2/+5

2016-07-16	HIR Typecheck CS - Support trait method pointers	John Hodge	1	-1/+57

2016-07-16	HIR Typecheck - HACK: Correct trait type selection with evil	John Hodge	6	-59/+307

2016-07-15	HIR Typecheck - (BROKEN) Fixing trait selection for associated types	John Hodge	5	-30/+37

2016-07-15	HIR Typecheck - Expand associated types in outer typeck	John Hodge	4	-46/+703

2016-07-14	HIR - Working on better outer typecheck and resolution	John Hodge	6	-13/+172

2016-07-14	HIR TypeCheck - Recursively check implied traits in bounds	John Hodge	1	-0/+5

2016-07-14	HIR Typecheck - Traits are imported within trait impls	John Hodge	1	-0/+2

2016-07-14	HIR Typecheck - Use a proper fuzzy match when comparing bound type params	John Hodge	1	-9/+1

2016-07-14	Macro Rules - Seems to be working	John Hodge	1	-3/+19

2016-07-14	Macro Rules - Running fully once more, may still be incorrect	John Hodge	4	-33/+79

2016-07-14	Macro Rules - Rewrite, take 3 - Incomplete	John Hodge	12	-304/+333

2016-07-12	HIR Typecheck - (minor) Print type in monomorphise_type TODO	John Hodge	1	-2/+2

2016-07-12	HIR Typecheck CS - Allow casts from fn-types to `*const ()`	John Hodge	1	-1/+9

2016-07-12	HIR Typecheck - Don't attempt to typecheck nullptr array sizes	John Hodge	1	-1/+3

2016-07-12	HIR Typcheck - Hack method calls a little	John Hodge	1	-3/+15

2016-07-12	HIR Typecheck - Extra defence	John Hodge	1	-0/+2

2016-07-12	HIR Typecheck - Handle more complex impl bindings	John Hodge	2	-21/+25

2016-07-12	HIR Types - Support returning match state from match generic callback	John Hodge	5	-11/+17

2016-07-12	HIR Typecheck - Planning out handling for more effective impl param determining	John Hodge	2	-11/+55

2016-07-11	HIR Typecheck - Better error message when a type param is unknown in impl ↵	John Hodge	1	-1/+1
	searching
2016-07-11	Expand derive - Fix some broken cases	John Hodge	1	-7/+3

2016-07-11	HIR Typecheck CS - Remove todo panic on unknown infer, fix missed base value ↵	John Hodge	2	-22/+65
	in struct literals