Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Do not show default types in closures | Kirill Bulatov | 2020-07-20 | 1 | -3/+19 |
| | |||||
* | Minor perf tweaks per clippy | Jeremy Kolb | 2020-07-19 | 1 | -1/+1 |
| | |||||
* | Specify default adt representation for chalk integration | Wilco Kusee | 2020-07-19 | 1 | -1/+1 |
| | |||||
* | call_info works with closures | Aleksey Kladov | 2020-07-17 | 1 | -10/+1 |
| | |||||
* | Mismatched arg count works for lambdas | Aleksey Kladov | 2020-07-17 | 2 | -10/+30 |
| | |||||
* | Align CallableDefId naming with other ids | Aleksey Kladov | 2020-07-16 | 9 | -47/+49 |
| | |||||
* | Rename CallableDefId -> InternedCallabelDefid | Aleksey Kladov | 2020-07-16 | 3 | -11/+11 |
| | |||||
* | Remove TypeCtor interning | Florian Diebold | 2020-07-15 | 5 | -30/+21 |
| | | | | Our TypeCtor and Chalk's TypeName match now! | ||||
* | Use Chalk closure support | Florian Diebold | 2020-07-15 | 6 | -350/+83 |
| | |||||
* | Add FIXME | Jonas Schievink | 2020-07-14 | 1 | -0/+1 |
| | |||||
* | Thread varargs through r-a | Jonas Schievink | 2020-07-14 | 7 | -19/+65 |
| | |||||
* | ItemTree: Lower tuple types despite invalid type | Jonas Schievink | 2020-07-14 | 1 | -0/+23 |
| | |||||
* | Refactor the test of diagnostic tests | Aleksey Kladov | 2020-07-14 | 6 | -474/+278 |
| | |||||
* | Allow multiline annotations | Aleksey Kladov | 2020-07-14 | 2 | -2/+3 |
| | |||||
* | Merge #5368 | bors[bot] | 2020-07-14 | 4 | -1267/+511 |
|\ | | | | | | | | | | | | | | | | | | | | | 5368: Compress match checking tests r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | Compress match checking tests | Aleksey Kladov | 2020-07-14 | 3 | -1168/+419 |
| | | |||||
| * | Data-driven diagnostics tests | Aleksey Kladov | 2020-07-14 | 3 | -100/+93 |
| | | |||||
* | | Merge #5355 | bors[bot] | 2020-07-14 | 1 | -0/+1 |
|\ \ | |/ |/| | | | | | | | | | | | | | 5355: Add a license field to all the crates r=matklad a=JohnTitor Some are unnecessary but it's okay to have it, I think. cc https://github.com/rust-lang/rust/issues/74269 Co-authored-by: Yuki Okushi <[email protected]> | ||||
| * | Add a license field to all the crates | Yuki Okushi | 2020-07-14 | 1 | -0/+1 |
| | | |||||
* | | Reduce visibility | Aleksey Kladov | 2020-07-14 | 1 | -85/+83 |
| | | |||||
* | | Cleanup visibility | Aleksey Kladov | 2020-07-14 | 2 | -7/+11 |
| | | |||||
* | | Cleanup hir diagnostics API | Aleksey Kladov | 2020-07-14 | 5 | -40/+48 |
| | | |||||
* | | Consolidate hir diagnostics code in one place | Aleksey Kladov | 2020-07-14 | 6 | -13/+14 |
|/ | |||||
* | Don't copy-paste `impl_froms` into every crate | Aleksey Kladov | 2020-07-13 | 3 | -30/+9 |
| | |||||
* | Reorder imports | Aleksey Kladov | 2020-07-13 | 3 | -8/+7 |
| | |||||
* | Merge #5331 | bors[bot] | 2020-07-12 | 2 | -2/+63 |
|\ | | | | | | | | | | | | | | | | | | | 5331: Fix #4966 r=flodiebold a=flodiebold We add a level of binders when converting our function pointer to Chalk's; we need to remove it again on the way back. Fixes #4966. Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Fix #4966 | Florian Diebold | 2020-07-12 | 2 | -2/+63 |
| | | | | | | | | | | We add a level of binders when converting our function pointer to Chalk's; we need to remove it again on the way back. | ||||
* | | Remove some unnecessary file names | Florian Diebold | 2020-07-12 | 1 | -3/+0 |
| | | |||||
* | | Add test for #4281 | Florian Diebold | 2020-07-12 | 1 | -0/+23 |
| | | | | | | | | Fixes #4281. | ||||
* | | Search more efficiently for int/float impls | Florian Diebold | 2020-07-12 | 3 | -18/+118 |
| | | |||||
* | | Adapt trait object coercion tests to the status quo | Florian Diebold | 2020-07-12 | 1 | -4/+51 |
| | | |||||
* | | Use Chalk built-in representation for array types | Florian Diebold | 2020-07-12 | 1 | -7/+36 |
| | | |||||
* | | Remove built-in Unsize impls | Florian Diebold | 2020-07-12 | 4 | -235/+6 |
| | | | | | | | | They exist in Chalk now. | ||||
* | | Upgrade Chalk | Florian Diebold | 2020-07-12 | 1 | -2/+3 |
| | | |||||
* | | Enable Chalk tracing in hir_ty tests | Florian Diebold | 2020-07-12 | 5 | -66/+56 |
| | | |||||
* | | Upgrade Chalk | Florian Diebold | 2020-07-12 | 5 | -13/+63 |
|/ | |||||
* | infer: Add type inference support for Union types | Otavio Salvador | 2020-07-11 | 2 | -2/+32 |
| | | | | | | | | This adds the type inference to Union types and add a small test case for it, ensuring it keeps working in future. Fixes: #5277 Signed-off-by: Otavio Salvador <[email protected]> | ||||
* | arg count mismatch: handle tuple ctors | Jonas Schievink | 2020-07-09 | 1 | -17/+34 |
| | |||||
* | Address review comments | Jonas Schievink | 2020-07-09 | 2 | -40/+28 |
| | |||||
* | Add tests | Jonas Schievink | 2020-07-09 | 1 | -0/+129 |
| | |||||
* | Fix diagnostic for method calls | Jonas Schievink | 2020-07-09 | 1 | -3/+12 |
| | |||||
* | Correctly pluralize message | Jonas Schievink | 2020-07-09 | 1 | -1/+2 |
| | |||||
* | Don't emit diagnostic if there are type errors | Jonas Schievink | 2020-07-09 | 1 | -0/+7 |
| | |||||
* | Add argument count mismatch diagnostic | Jonas Schievink | 2020-07-09 | 2 | -5/+92 |
| | |||||
*-. | Merge #5235 #5236 #5241 | bors[bot] | 2020-07-07 | 4 | -9/+6 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 5235: Don't ping people in PRs r=matklad a=lnicola 5236: Disable ES module interop r=matklad a=lnicola 5241: Clippy perf warnings r=matklad a=kjeremy Removes redundant clones Co-authored-by: Laurențiu Nicola <[email protected]> Co-authored-by: Aleksey Kladov <[email protected]> Co-authored-by: kjeremy <[email protected]> | ||||
| | * | Clippy perf warnings | kjeremy | 2020-07-06 | 4 | -9/+6 |
| |/ | | | | | | | Removes redundant clones | ||||
* / | Switch to fully dynamically dispatched salsa | Aleksey Kladov | 2020-07-07 | 5 | -22/+18 |
|/ | | | | This improves compile times quite a bit | ||||
* | Fix inference of indexing argument (partly) | Florian Diebold | 2020-07-03 | 2 | -8/+48 |
| | | | | | | | | We need to add the `T: Index<Arg>` obligation to be resolved later as well, otherwise we can't make inferences about `Arg` later based on the `Index` impls. This still doesn't fix indexing with integer variables though; there's a further problem with Chalk floundering because of the variable, I think. | ||||
* | Merge #5149 | bors[bot] | 2020-07-01 | 7 | -66/+135 |
|\ | | | | | | | | | | | | | | | | | | | 5149: Implement Chalk variable kinds r=flodiebold a=flodiebold This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534. Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Implement Chalk variable kinds | Florian Diebold | 2020-07-01 | 7 | -66/+135 |
| | | | | | | | | | | | | | | | | | | This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534. |