summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
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
2019-03-24HIR Macro Export - Hacky workarounds and defensive asserts with macro exportsJohn Hodge3-1/+12
2019-03-23HIR - Split hir.cpp a bit to allow hackeryJohn Hodge2-1046/+1062
2019-03-22HIR Typecheck - Lots of messing about, kinda works up to midway through rustcJohn Hodge2-21/+346
2019-03-22MIR From HIR - TODO for try-catch handlingJohn Hodge1-0/+5
2019-03-22Common - Add another `ord` overload, fix breakage from thatJohn Hodge3-2/+6
2019-03-22AST - (minor) Comment around macro handlingJohn Hodge1-0/+1
2019-03-17Expand - Return part of catch blocksJohn Hodge1-1/+4
2019-03-04HIR Conv Bind - Minor tweak to orderingJohn Hodge1-22/+23
2019-03-04HIR Expand Type Aliases - Handle default parametersJohn Hodge1-4/+10
2019-03-04Parse - Hackily parse `macro`John Hodge1-2/+36
2019-03-04Expand - Desugar `try` into a loopJohn Hodge1-2/+19
2019-03-04Expand format_args - Support unicode pad characterJohn Hodge1-8/+80
2019-03-04Parse - TOK_RWORD_MACRO and stub handlerJohn Hodge4-0/+11
2019-03-04Parse - Handle `do catch` (aka `try`)John Hodge7-0/+66
2019-03-04Resolve - Tweak IBL, add support for extern_preludeJohn Hodge3-2/+19
2019-03-03HIR Serialise - Deserialise extern typeJohn Hodge1-0/+9
2019-03-03Codegen C - Cast to int128_t for literalsJohn Hodge1-0/+2
2019-03-03Trans Monomorph - (minor) Better assertionJohn Hodge1-0/+2
2019-03-03Target - Return zero/infinite for extern type align/sizeJohn Hodge1-0/+12
2019-03-03Trans Auto Impls - Clone for closuresJohn Hodge1-38/+91
2019-03-03Trans Enumerate - Add auto clone impl for closures, specialisation fix, and ↵John Hodge1-50/+99
a slight optimisation
2019-03-03Codegen C - Don't emit extern typesJohn Hodge1-2/+3
2019-03-02Lower MIR - Wildcard pattern handlingJohn Hodge1-21/+23
2019-03-02HIR Typecheck Static - Misc fiddlingJohn Hodge1-3/+12
2019-03-02MIR Gen - Handle extern types in matchJohn Hodge1-15/+20
2019-03-02HIR Expand Closures - Rename closures to include a #, fix minor bugJohn Hodge1-2/+4
2019-03-02HIR Typecheck Validate - Debugging tweaksJohn Hodge1-15/+14
2019-03-02HIR Expand Closures - Cast/coerce closure to fn()John Hodge1-11/+173