summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
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
2019-03-02HIR Dump - Print break valueJohn Hodge1-0/+4
2019-03-02HIR - Clone deref count when cloning patternJohn Hodge1-29/+35
2019-03-01Expand - Use discriminant_value to reduce size of auto-generated matchesJohn Hodge1-88/+26
2019-03-01HIR Annotate Usage - Handle `break`John Hodge1-0/+4
2019-02-28HIR Typecheck - Tweak to validation code for closure castsJohn Hodge1-9/+26
2019-02-24Typecheck Expressions - EAT before doing match ergonomincs, better error ↵John Hodge1-31/+58
messages
2019-02-24Typecheck Expr - Refactor of ivar possibilities to simplify logicJohn Hodge3-656/+444
2019-02-09Typecheck - Various fixes for librustcJohn Hodge6-43/+108
2019-02-03Typecheck Expresions - closure->fn and closure Clone roughJohn Hodge2-0/+36
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge23-36/+178