| 27d18a54 |
lang: Document explicit generics |
Alexis Sellier |
|
| b3e2f892 |
std: Adopt explicit generics |
Alexis Sellier |
|
| 2034127d |
lang: Implement explicit generics |
Alexis Sellier |
|
| df4b837f |
bootstrap: Accept explicit generic delimiters |
Alexis Sellier |
|
| 4501081c |
lang: Recognize explicit generic delimiters |
Alexis Sellier |
|
| f18cc5f0 |
test: Exercise linear type semantics |
Alexis Sellier |
|
| a8787514 |
lang: Lower linear references |
Alexis Sellier |
|
| 7e3db9f1 |
lang: Enforce linear ownership |
Alexis Sellier |
|
| 3c8a74bf |
lang: Parse linear and pointer types |
Alexis Sellier |
|
| 673ae4f6 |
Expose memory ordering to safe code |
Alexis Sellier |
|
| 3797da49 |
Encode full memory fences |
Alexis Sellier |
|
| bc8bdb04 |
lang: Simplify compiler |
Alexis Sellier |
|
| 55278d55 |
lang: Parse subscripts in normal context |
Alexis Sellier |
|
| 4e1403a0 |
lang: Parse array elements in normal context |
Alexis Sellier |
|
| 3c89648c |
lang: Infer literal-first comparison types |
Alexis Sellier |
|
| b2271358 |
lang: Treat optional wildcards as exhaustive |
Alexis Sellier |
|
| c6107b5e |
lang: Preserve folded shift count signs |
Alexis Sellier |
|
| 70604335 |
rv64: Canonicalize subword divisors |
Alexis Sellier |
|
| 470dd84a |
lang: Fold signed right shifts arithmetically |
Alexis Sellier |
|
| 1361514f |
lang: Mask folded shift counts by width |
Alexis Sellier |
|
| 85cc0364 |
bitset: Compare common words directly |
Alexis Sellier |
|
| 54343bcb |
regalloc: Fuse mapping lookup and removal |
Alexis Sellier |
|
| 80166a83 |
regalloc: Avoid rescanning current operands |
Alexis Sellier |
|
| abd19748 |
mem: Short-circuit identical slices |
Alexis Sellier |
|
| f2ff6b8e |
scanner: Avoid recomputing consumed index |
Alexis Sellier |
|
| a902a880 |
lang: Fold unsigned division as unsigned |
Alexis Sellier |
|
| 9913dc8b |
lang: Compare folded unsigned integers correctly |
Alexis Sellier |
|
| 988225b7 |
Lower compound assignment lvalues once |
Alexis Sellier |
|
| 16d5efcb |
lang: Parse signs as unary operators |
Alexis Sellier |
|
| 5579ed17 |
Resolve coerced throw types |
Alexis Sellier |
|
| c08a46ca |
rv64: Reject unsafe spilled block arguments |
Alexis Sellier |
|
| 7fec2230 |
Fix `if let` binding scope in else branches |
Alexis Sellier |
|
| d5a7e016 |
Resolve wildcard types before function signatures |
Alexis Sellier |
|
| d8ccda79 |
Fix optional record value patterns |
Alexis Sellier |
|
| 03643fc5 |
Snapshot aggregate arguments before later evaluation |
Alexis Sellier |
|
| 8064a56d |
Resolve optional match bindings by reference |
Alexis Sellier |
|
| 1ecd58a7 |
Lower references to array repeat literals |
Alexis Sellier |
|
| 177c9234 |
Preserve wildcard import symbol ownership |
Alexis Sellier |
|
| 8c31c850 |
Fix repeated string slice constant data |
Alexis Sellier |
|
| 60335cc1 |
Fix literal-first conditional inference |
Alexis Sellier |
|
| 8301d68e |
Fix wrapped integer casts in constant expressions |
Alexis Sellier |
|
| 3c0dd6ed |
Fix structural array element assignment |
Alexis Sellier |
|
| 6cdb3213 |
Fix subword comparisons on RV64 |
Alexis Sellier |
|
| a6f4d48e |
Resolve forward-declared supertrait methods |
Alexis Sellier |
|
| 7ff30933 |
Parse record literals in condition call arguments |
Alexis Sellier |
|
| 69762c5c |
Fix subscript operand evaluation order |
Alexis Sellier |
|
| 70e07e31 |
Give functions dedicated scratch storage |
Alexis Sellier |
|
| 5e9e4cfc |
Emit self-contained RV64 images |
Alexis Sellier |
|
| 2e5fdaa8 |
Test assembly external text fixups |
Alexis Sellier |
|
| 9e960a2c |
Add explicit startup assembly support |
Alexis Sellier |
|