mrust - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
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
2016-07-11	Expand derive - Add Copy	John Hodge	1	-0/+35

2016-07-11	Expand derive - Eq and Clone	John Hodge	2	-0/+298

2016-07-10	HIR Typecheck - Use Deref impl in autoderef	John Hodge	1	-2/+2

2016-07-10	HIR Typecheck CS - Fix autoderef picking non-methods	John Hodge	2	-29/+45

2016-07-10	HIR Typecheck CS - Mark result of a field access as unknown	John Hodge	1	-0/+3

2016-07-10	HIR Typecheck CS - Functions don't coerce	John Hodge	1	-6/+6

2016-07-10	HIR Typecheck CS - Only fire missing impl error when the types are fully known	John Hodge	1	-3/+7

2016-07-10	HIR Typecheck CS - Hack around cases where an ivar is known to be either ↵	John Hodge	1	-2/+45
	`&[T]` or `&[_]`
2016-07-10	HIR Typecheck CS - Cleaner debug output	John Hodge	2	-3/+20

2016-07-10	HIR Typecheck CS - (minor) Debugging fix	John Hodge	1	-1/+1

2016-07-10	HIR Typecheck CS - &[T] can't coerce to anything	John Hodge	1	-2/+16

2016-07-10	HIR Typecheck CS - (minor) Logging in ivar possibilities	John Hodge	1	-8/+14

2016-07-10	HIR Typecheck CS - Ensure that types that would be revealed by a method call ↵	John Hodge	1	-0/+50
	are not defaulted until that call is known
2016-07-10	HIR Typecheck CS - Allow fuzzy impl matching	John Hodge	1	-5/+8

2016-07-10	HIR Typecheck CS - Fix printing of types	John Hodge	1	-2/+12

2016-07-10	HIR Typecheck CS - Allow fuzzy matches when checking impl bounds	John Hodge	1	-15/+25

2016-07-10	HIR Typecheck CS - Mark change when a new rule is added	John Hodge	3	-3/+8

2016-07-10	HIR Typecheck - Hacky Copy impls	John Hodge	1	-0/+34

2016-07-10	HIR Typecheck CS - Allow casts from usize to pointers	John Hodge	1	-0/+19

2016-07-10	HIR Typecheck - Change default type of enums to isize	John Hodge	1	-1/+1

2016-07-10	HIR - (comment) Need to record source trait for type bounds	John Hodge	1	-0/+1

2016-07-10	HIR Typecheck CS - (EVIL) Propagate type bounds through to supertraits	John Hodge	3	-4/+29

2016-07-10	HIR Typecheck CS - Magic inferrence passthrough for uniops too	John Hodge	1	-16/+38

2016-07-10	HIR Typecheck CS - Search for bounds implied by associated types	John Hodge	1	-24/+90
	- E.g. `<T as IntoIterator>::IntoIter` impls `Iterator<Item=<T as IntoIterator>::Item>`
2016-07-10	HIR Creation - (minor) Use a vistor-global null span	John Hodge	1	-1/+2

2016-07-10	Span - Add an assert macro	John Hodge	1	-0/+1

2016-07-10	HIR Typecheck CS - Expand associated types in associated equality rules	John Hodge	1	-1/+10

2016-07-10	HIR Typecheck - Cleaner debug output	John Hodge	3	-21/+45

2016-07-09	HIR Typecheck CS - Distinguish between "direction" of possible ivar values.	John Hodge	2	-36/+64
	- When both sides are known, it propagates leftwards
2016-07-09	HIR Typecheck CS - Ignore unknown associated types when applying coercions	John Hodge	2	-54/+85

2016-07-09	HIR Typecheck CS - (partial) Change handling of patterns to account for ↵	John Hodge	1	-104/+99
	associated types
2016-07-09	HIR Typecheck CS - Support raw pointer deref	John Hodge	1	-3/+22

2016-07-09	HIR Typecheck CS - range patterns	John Hodge	1	-18/+29

2016-07-09	HIR Typecheck CS - Special case for resultant types from 'prim binop prim'	John Hodge	1	-5/+40