summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2019-05-18HIR - Fix privacy error for items in non-library crate rootJohn Hodge3-35/+43
2019-05-18main - dylib crate type on command lineJohn Hodge1-0/+3
2019-05-18Forgotten headerJohn Hodge1-0/+33
2019-05-15Expand - Track include!/include_str!/include_bytes! files for dependenciesJohn Hodge2-1/+6
2019-05-14Trans Enumerate - Cache paths used by functionJohn Hodge3-46/+119
2019-05-12Codegen C - (minor) Commenting and extra assertionsJohn Hodge1-3/+7
2019-05-12main - Slight tweak to dependency file outputJohn Hodge1-7/+24
2019-05-11HIR Const Eval - Use cached monomorphsed values in consteval, evaluate in ↵John Hodge2-1/+9
reverse
2019-05-11Typecheck Expressions - Fix bug in ivar counting, work around failure in ↵John Hodge1-30/+74
librustc
2019-05-09MIR Optimise - Work around De-Temporary bug that was mis-optimising Vec::retainJohn Hodge1-0/+14
2019-05-06Codegen C - Mark llvm.* shims as staticJohn Hodge1-0/+2
2019-05-05HIR Expand Closures - Run on constantsJohn Hodge2-2/+75
2019-05-05LoadCrates - Search for crates with matching names (instead of needing a ↵John Hodge1-14/+50
perfect filename match)
2019-05-05parse/expand/resolve - `macro` macros use their own module as the resolve rootJohn Hodge13-31/+103
2019-05-05MMIR - Fix a TODO around pointers to stringsJohn Hodge1-12/+25
2019-05-05Typecheck Expressions - Permanently enable match ergonomicsJohn Hodge1-64/+53
2019-05-05MIR - Wrap HIR::Path-s in MIR::Constant in unique_ptrJohn Hodge16-94/+135
2019-05-05Typecheck Expressions - (Disabled) inclusion of a coercion point on match valuesJohn Hodge1-1/+10
2019-05-04Typecheck Expressions - Handle SpliceSlice patterns in match ergonomics, ↵John Hodge1-11/+30
disable `ref` autoderef
2019-05-04Match Ergonomics - Auto-deref in `ref` patterns to get `&T`John Hodge4-18/+26
2019-05-04HIR Typecheck - Expected type for string patternsJohn Hodge1-11/+87
2019-05-03Lower MIR - (minor) Replace TU_MATCH with TU_MATCH_HDRJohn Hodge1-29/+26
2019-05-03HIR Typecheck - Check expressions after typecheck (finds bugs faster)John Hodge1-1/+16
2019-05-03HIR Typecheck - Handle closure types in static typecheckJohn Hodge1-0/+42
2019-05-03HIR Typecheck - Tweaks to validation code to allow pre-expand checksJohn Hodge2-2/+123
2019-04-28Trans Monomorph - Associated constants left as DeferJohn Hodge7-40/+116
2019-04-28MIR Gen - Support `match` in a `match` guard armJohn Hodge3-9/+51
2019-04-28MIR Optimise - Fix (and detect) a recursive inline, remove drops of GC'd ↵John Hodge1-2/+57
locals, disable a really expensive pass
2019-04-28Typecheck Expressions - Better handling of `!`, and match ergonomicsJohn Hodge1-7/+29
2019-04-26Typecheck Expressions - Strong disable match ergonomics downstream ivars, ↵John Hodge1-1/+27
hack for ivar_poss match ergonomics
2019-04-25Typecheck Expressions - Mark a change when `!` assignedJohn Hodge1-0/+1
2019-04-25MIR - Reduce size of LValue::Static by putting the HIR::Path behind a pointerJohn Hodge15-21/+77
2019-04-25HIR - Add more complete privacy handling (allowing for autoderef to skip ↵John Hodge19-75/+189
private fields)
2019-04-24format_args - Fix named argument supportJohn Hodge1-2/+2
2019-04-24Typecheck Expressions - Add an unsize target instead of hard equality in ↵John Hodge3-69/+113
match ergonoics
2019-04-23Typecheck fiddlingJohn Hodge1-4/+32
2019-04-22Typecheck Expressions - More hackeryJohn Hodge1-0/+15
2019-04-22Typecheck Expressions - Minor tweaks from trying to use all trait impls in ↵John Hodge2-13/+24
impl search
2019-04-21Typecheck Expessions - Improved handling of overlapping bounds, diverging ivarsJohn Hodge4-10/+58
2019-04-21Typecheck Expressions - Least permissive source, diverge possibility, ...John Hodge2-5/+156
2019-04-21MIR Lower - Fix wrong type used for validation return typeJohn Hodge1-2/+2
2019-04-21Typecheck Expressions - (debug) Give each rule its own identifier, for ↵John Hodge1-6/+11
easier tracing
2019-04-21Typecheck Expressions - Improved trait object coercionsJohn Hodge1-70/+42
2019-04-20Typecheck Expressions - Little tweaksJohn Hodge1-2/+3
2019-04-20Resolve - Handle glob imports that import enum variantsJohn Hodge1-3/+12
2019-04-20HIR Typecheck - Bulk commit of typecheck fixes, less magicJohn Hodge3-17/+441
2019-04-14HIR Typecheck - UghJohn Hodge1-3/+44
2019-03-31Typecheck Expr - Fiddling with more custom rules!John Hodge1-118/+189
2019-03-30Typecheck Expr - More little rules/tweaksJohn Hodge1-20/+104
* Non-overridable ivar disable for ATY results * Disable closure return/argument ivars when closure is coerced
2019-03-24macro_rules - Fix bad "codegen" for $()+John Hodge1-2/+38