summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2018-12-30Codegen C - Add hacky compiler-provided glueJohn Hodge4-22/+94
2018-12-30Typecheck - Don't drop ManuallyDropJohn Hodge1-0/+6
2018-12-30expand assert - Fix logic errorJohn Hodge1-0/+1
2018-12-29Trans Enumerate - Handle 1.29 having generics on `lang_start`John Hodge1-9/+13
2018-12-29Typecheck/Trans - Handle magic clone impls for 1.29John Hodge3-88/+116
2018-12-29Typecheck Expressions - Fallback mode when inferrence stalls with match ↵John Hodge1-21/+101
ergonomics
2018-12-29Resolve/HIR - Rough handling of `pub use macro_path;`John Hodge6-9/+50
2018-12-29HIR Deserialise - Handle :vis macro fragmentJohn Hodge1-0/+1
2018-12-29HIR Serialise - Make error reporting for bad deserialisation more consistentJohn Hodge1-38/+35
2018-12-29HIR - Add new struct reprs (mostly stubbed)John Hodge7-158/+37
- Also cleared out some dead code in target.cpp
2018-12-29Codegen C - Handle 1.29 box_free calling convention (hack)John Hodge1-12/+23
2018-12-29Lower MIR - Handing of irrefutable enum matches, some other tweaksJohn Hodge5-36/+139
2018-12-29Misc MIR generation fixesJohn Hodge4-5/+9
2018-12-29HIR Dump - Tweak output for better readabilityJohn Hodge1-25/+13
2018-12-29Typecheck Expressions - Fix incorrect anotation on blocks traversed for ↵John Hodge2-3/+29
coercions
2018-12-28Typecheck Expressions - More match ergonomicsJohn Hodge1-2/+40
2018-12-28Lower HIR - Rough (roughshod) handling of `repr(align(N))`John Hodge1-30/+28
2018-12-28Trans Target - cfg for atomic comare-and-set (tied to atomic ptr)John Hodge1-0/+1
2018-12-28Resovle - Macro imports (partial), bugfixesJohn Hodge3-7/+43
2018-12-28Resolve - Clean up AST path bindings, one binding per namespaceJohn Hodge10-515/+600
- This is prep work for supporting `use` of macros
2018-12-28main - Fix supurrious warning when enabling debug for multiple phasesJohn Hodge1-1/+0
2018-12-28Misc expand tweaksJohn Hodge5-16/+58
2018-12-28macro_rules - Support for the :vis fragmentJohn Hodge16-15/+128
2018-12-27Lower MIR - Match ergonomics (and a little bit of cleanup/fixes).John Hodge6-59/+90
- liballoc building, up to libstd
2018-12-27Lower MIR - Rough handling of 1.29 `box` operatorJohn Hodge1-0/+100
2018-12-27Typecheck Expressions - Minimal support for match ergonomics (typecheck only)John Hodge3-57/+548
2018-12-26Typecheck Expressions - Handle changes to the `box` operator for 1.29 (still ↵John Hodge1-1/+33
needs work later down the line) `box` no longer has operator traits, and is (I believe) back to being 100% compiler magic.
2018-12-22Lang items for 1.29 (allocator traits removed, need to do magic)John Hodge2-19/+25
2018-12-22Resolve Use - Support glob from external moduleJohn Hodge1-16/+27
2018-12-22tagged_union - Fix TU_ARM not using parens around the valueJohn Hodge1-1/+1
2018-12-22Constant Evaluation - Evaluate missing associated constants with trait impl ↵John Hodge6-23/+107
versions
2018-12-22MIR Cleanup - Misc commenting on handling of Defer literalsJohn Hodge4-19/+28
2018-12-22Codegen C - Fix incorrect memory orderingsJohn Hodge1-2/+3
2018-12-22MIR Cleanup - Better error reporting for bugs around unevaluated Literal::DeferJohn Hodge3-4/+28
2018-12-16Typecheck Expressions - Extended possibility checking, fallback default (HACK)John Hodge4-28/+110
2018-12-09HIR Typecheck Expr - Handle duplicate bounded options for typesJohn Hodge1-0/+4
2018-12-09HIR Typecheck - Fix incorrect equality/success markingsJohn Hodge1-7/+15
2018-12-09Codegen C - Fix incorrect use of ZST in enum constructor shim (fixes #86)John Hodge1-1/+1
2018-12-09HIR Typecheck - Hack when method resolution finds both a bound and an ↵John Hodge1-1/+8
available trait
2018-12-09HIR Typecheck - Enumeration of potential type values and elimination using ↵John Hodge2-77/+231
known bounds Potential types from trait bounds are enumerated and, if there's no possible coercions/unsizing, are searched for a single type that meets all known conditions (i.e. trait bounds on the ivar, and method existence)
2018-12-09HIR Types - Comment out an overly-verbose log messageJohn Hodge1-1/+1
2018-12-09main - Set default target version to 1.29, allow environment to change thatJohn Hodge1-1/+14
2018-12-09Trans Auto Impls - Don't run if 1.19 modeJohn Hodge1-0/+3
2018-12-09HIR - Don't yield impls for a unbounded ivar SelfJohn Hodge1-1/+2
2018-12-08Expand - Tweaks to select between 1.19 and 1.29John Hodge4-4/+15
2018-11-03HIR Typecheck - Fixing holes from 1.29 compiler_builtinsJohn Hodge9-159/+205
2018-10-13Span - Fix lack of separator in warningsJohn Hodge1-2/+2
2018-10-07Typecheck - Fix a couple of small holesJohn Hodge2-4/+72
2018-10-06Const Evaluate - Very rough deferJohn Hodge4-2/+34
2018-10-04Const Eval - Intrinsic support (size_of), slightly better error reportingJohn Hodge1-22/+40