mrust - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2016-09-25	HIR - Support float patterns	John Hodge	5	-6/+46

2016-09-25	Resolve Use - Visit code blocks in trait defaults	John Hodge	1	-2/+24

2016-09-25	Parse+Expand - Support `let` in expression macros	John Hodge	3	-3/+10

2016-09-25	MIR - (minor) commenting	John Hodge	1	-0/+2

2016-09-25	Parse - Support method/field/qmark after blocks in statements	John Hodge	5	-43/+109

2016-09-24	MIR Gen - Support zero-arm matches - Since they can never be reached, emit a ↵	John Hodge	3	-1/+24
	Diverge
2016-09-24	MIR Gen Match - Refactor decision tree code to support sorted rulesets	John Hodge	1	-204/+376

2016-09-24	MIR Gen Match - Any over tuple structs	John Hodge	1	-7/+29

2016-09-24	MIR Gen Match - Fix edge case where DTN simplify didn't work	John Hodge	1	-0/+8

2016-09-24	HIR Typecheck Expr - Hackily search for methods on a borrow of the search type	John Hodge	3	-22/+78

2016-09-24	HIR Typecheck Expr - Fix impl selection bug with an evil hack	John Hodge	3	-7/+24

2016-09-24	HIR Typecheck Expr - Prevent ivar defaulting of closure arguments when ↵	John Hodge	1	-0/+5
	closure is possibly unknown
2016-09-24	Resolve - Work around edge case with non-canonical index paths	John Hodge	3	-41/+59

2016-09-24	Expand - Fix double-insertion of prelude	John Hodge	1	-1/+1

2016-09-24	Resolve Absolute - Emit UfcsUnknown instead of UfcsInherent when splitting ↵	John Hodge	1	-1/+1
	multi-node UFCS
2016-09-24	HIR Typecheck Expr - Monomorphise trait params when doing associated type bounds	John Hodge	1	-12/+38

2016-09-24	HIR Typecheck Expr - Add TODO when an associated type bound method requires ↵	John Hodge	2	-2/+10
	monomorphisation
2016-09-24	HIR Typecheck Expr - Fix incorrect trait parameter comparison	John Hodge	1	-5/+11

2016-09-24	HIR Typecheck Expr - Provide a list of usable ivars to find_method	John Hodge	4	-21/+60

2016-09-24	HIR Typecheck Expressions - Add ivars to method params	John Hodge	1	-0/+3

2016-09-23	HIR Typecheck Expr - Implement TODO with inserting associated type bounds	John Hodge	1	-1/+4

2016-09-23	Resolve Absolute - Preserve type arguments when an import is directly ↵	John Hodge	1	-0/+2
	replaced (e.g. mem::transmute->intrinsics::transmute)
2016-09-23	HIR Typecheck Expressions - Clear the flag that disables ivar posibilities ↵	John Hodge	1	-0/+2
	if the list is empty
2016-09-23	HIR Typecheck Expr - _PathValue UfcsInherent with ivars	John Hodge	1	-10/+12

2016-09-23	HIR Bind - Perform bind+fixup for _PathValue	John Hodge	1	-0/+5

2016-09-22	HIR Typecheck Expr - Inner coerce in tuple literals	John Hodge	1	-6/+40

2016-09-22	HIR Typecheck Expressions - Use type bounds in _StructLiteral	John Hodge	1	-41/+52

2016-09-22	main - Add a hacky MRUSTC_DEBUG environment variable to enable debug for passes	John Hodge	1	-0/+20

2016-09-21	HIR Typcheck Expr - Equate the `self` type for methods to propagate ivars ↵	John Hodge	1	-4/+8
	into the path
2016-09-21	HIR Typecheck Expr - Allow coercing borrows to "lower" pointers (mut->const)	John Hodge	1	-3/+5

2016-09-21	HIR Typecheck Expr - Refactor to remove magic use of equate_types_assoc	John Hodge	1	-14/+35

2016-09-21	HIR Typecheck Expr - Clean up dead code	John Hodge	1	-69/+8

2016-09-21	HIR Typecheck Expr - Defer method selection until the signature can be known	John Hodge	1	-8/+20

2016-09-21	HIR Typecheck Expr - Clean visit_call_populate_cache a little and detect ↵	John Hodge	2	-118/+133
	multiple inherent method options
2016-09-20	Expand format_args! - (minor) Commenting and TODO to actually emit the fragments	John Hodge	1	-3/+7

2016-09-19	HIR Expand Closures - Fix bad types	John Hodge	1	-3/+31

2016-09-18	HIR Typecheck Expr - (minor) Fix use-after-free when method argument counts ↵	John Hodge	1	-1/+2
	mismatch
2016-09-18	HIR Typecheck Expr - Unsizing pointer cast hacked in	John Hodge	1	-1/+3

2016-09-18	HIR Typecheck Expr - Rough support for casts that trigger unsizing	John Hodge	3	-5/+30

2016-09-18	HIR Typecheck Expr - Add bounds from fuzzy matched bounds/assoc rules. Work ↵	John Hodge	3	-68/+144
	around check_coerce quirks
2016-09-18	HIR Typecheck Expr - Fuzzy match support in trait searching, hacky type ↵	John Hodge	2	-10/+116
	param ivar equiv in CoerceUnsized
2016-09-18	HIR - Rework to include a node for in/box (for better type inferrence)	John Hodge	11	-3/+308

2016-09-17	HIR Typecheck Expr - (minor) Commenting and debug in tracking box inferrence ↵	John Hodge	2	-5/+13
	failure
2016-09-16	HIR - (minor) Comment on format of generic binding field	John Hodge	1	-0/+1

2016-09-16	HIR Typecheck Expr - Hackily assume placeholder type params impl any trait	John Hodge	1	-0/+10

2016-09-15	Typecheck Expr - Fix some comments	John Hodge	1	-5/+2

2016-09-15	Typecheck Expr - Handle diverging statements within blocks	John Hodge	1	-2/+12

2016-09-15	Main - Revert accidental commit with debug enabled	John Hodge	1	-1/+1

2016-09-15	Parse+Typecheck Validate - Remove implicit ()	John Hodge	2	-2/+2

2016-09-15	Restructure - Don't insert automatic () statements at end of blocks	John Hodge	11	-61/+92