mrust - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2016-08-10	HIR - Add EnumValue variant to Pattern	John Hodge	3	-3/+17

2016-08-09	main+MIR - Enable MIR generation	John Hodge	1	-3/+7

2016-08-08	HIR Expand UFCS - Pass that replaces all call types with path-based calls	John Hodge	1	-1/+4

2016-08-08	HIR ExprPtr - Support resetting internal pointer	John Hodge	2	-0/+6

2016-08-08	HIR - Store the binding types for an expression for use in later stages	John Hodge	1	-0/+5

2016-08-07	HIR - Add clone method to GenericParams	John Hodge	2	-0/+52

2016-08-07	HIR - Add clone() method to Pattern (and a few constructors)	John Hodge	2	-0/+137

2016-08-07	HIR Typecheck CS - Include used trait for CallValue (for codegen)	John Hodge	1	-0/+11

2016-08-07	HIR - Start work on closure expansion	John Hodge	1	-0/+2

2016-08-06	HIR - Start on closure annotations	John Hodge	1	-0/+10

2016-08-06	HIR Conv - Fix bad trait args in UFCS trait selection	John Hodge	1	-0/+1

2016-08-06	HIR - Fix pointer equality in TypeRef::operator==	John Hodge	1	-1/+1

2016-08-06	HIR - (minor) Reduce expand_associated_types logging, turn TODO into BUG in ↵	John Hodge	1	-2/+1
	HIR lower for ?
2016-08-02	HIR Typecheck - Draft validation pass	John Hodge	1	-0/+4

2016-08-01	HIR - Path reporting in iteration	John Hodge	4	-84/+127

2016-08-01	HIR - Support getting tuple struct constructors as function pointers	John Hodge	3	-3/+13

2016-08-01	HIR Typecheck - Altered ! handling to be an ivar type, fix fuzzy matches in ↵	John Hodge	3	-0/+6
	expand_associated_types
2016-08-01	HIR - Include specialisable marker in impls	John Hodge	3	-15/+28

2016-08-01	AST - Add specialisable tag to impl items	John Hodge	1	-4/+4

2016-07-31	HIR - Support comparing specificity of trait impls	John Hodge	2	-0/+148

2016-07-19	HIR - Very rough impl specialisation support in outer typeck	John Hodge	2	-0/+69

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

2016-07-17	HIR,HIR Typecheck - Simplify associated type bounds, add type replacements	John Hodge	3	-3/+29

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

2016-07-16	HIR Typecheck CS - Reduce log spam	John Hodge	2	-0/+6

2016-07-15	HIR Typecheck - (BROKEN) Fixing trait selection for associated types	John Hodge	2	-14/+21

2016-07-15	HIR Typecheck - Expand associated types in outer typeck	John Hodge	1	-0/+1

2016-07-14	HIR - Working on better outer typecheck and resolution	John Hodge	1	-2/+18

2016-07-14	Macro Rules - Rewrite, take 3 - Incomplete	John Hodge	1	-4/+6

2016-07-12	HIR Typecheck - Handle more complex impl bindings	John Hodge	1	-8/+6

2016-07-12	HIR Types - Support returning match state from match generic callback	John Hodge	2	-6/+4

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

2016-07-11	HIR Typecheck CS - Remove todo panic on unknown infer, fix missed base value ↵	John Hodge	1	-0/+3
	in struct literals
2016-07-10	HIR - (comment) Need to record source trait for type bounds	John Hodge	1	-0/+1

2016-07-10	HIR Creation - (minor) Use a vistor-global null span	John Hodge	1	-1/+2

2016-07-09	HIR Typecheck CS - Distinguish between "direction" of possible ivar values.	John Hodge	1	-1/+2
	- When both sides are known, it propagates leftwards
2016-07-07	HIR Type - Mark the same ivar as being the Equal	John Hodge	1	-0/+5

2016-07-07	HIR Typecheck CS - Working `let v: usize = !0;`	John Hodge	3	-6/+54

2016-07-07	HIR Typecheck CS - Closure handling in equate_types and type.cpp	John Hodge	1	-2/+24

2016-07-06	HIR Typecheck CS - Struct member monomorphise	John Hodge	1	-1/+41

2016-07-05	HIR Typecheck CS - Value pattern types, fixed ivar adding	John Hodge	1	-1/+1

2016-07-03	HIR Typecheck - CS - Method trait list	John Hodge	1	-1/+4

2016-07-02	HIR Typecheck - Unified Struct/Enum data structures, CS coming along	John Hodge	3	-11/+23

2016-07-02	HIR - CS Typecheck work, Store 'is_struct' flag in StructLiteral node	John Hodge	2	-6/+9

2016-06-26	HIR Typecheck - Fn type handling	John Hodge	1	-0/+2

2016-06-26	HIR Typecheck - Fuzzy impl matching to allow selection of += impl for usize	John Hodge	3	-28/+56

2016-06-26	HIR Typecheck - Comment on inferrence qurik	John Hodge	1	-0/+1

2016-06-26	HIR Typecheck - Hacking to pieces	John Hodge	1	-0/+56

2016-06-24	HIR Typecheck - Trait object impl blocks	John Hodge	1	-24/+40

2016-06-13	HIR Typecheck - Search for Deref impl in * operator	John Hodge	1	-1/+1