Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement box pattern inference | Jonas Schievink | 2020-09-12 | 1 | -1/+13 |
* | Add box pattern test | Jonas Schievink | 2020-09-12 | 1 | -0/+25 |
* | Rename record_field_pat to record_pat_field | Pavan Kumar Sunkara | 2020-09-10 | 2 | -4/+4 |
* | Merge #5968 | bors[bot] | 2020-09-09 | 3 | -14/+30 |
|\ | |||||
| * | Tweak interner for chalk | Nathan Whitaker | 2020-09-09 | 1 | -9/+9 |
| * | Lookup ADT and assoc. type names for chalk debug | Nathan Whitaker | 2020-09-09 | 2 | -5/+21 |
* | | Chalk 0.25 | kjeremy | 2020-09-02 | 1 | -3/+3 |
|/ | |||||
* | :arrow_up: expect-test | Aleksey Kladov | 2020-08-28 | 1 | -1/+1 |
* | Add description for crates that will be published | Pavan Kumar Sunkara | 2020-08-24 | 1 | -0/+1 |
* | Add version to deps in cargo.toml | Pavan Kumar Sunkara | 2020-08-24 | 1 | -8/+8 |
* | Switch to expect_test from crates.io | Aleksey Kladov | 2020-08-21 | 10 | -11/+10 |
* | Add type safety to diagnostic codes | Aleksey Kladov | 2020-08-18 | 1 | -17/+17 |
* | Speedup ty tests | Aleksey Kladov | 2020-08-18 | 1 | -6/+11 |
* | Merge #5682 | bors[bot] | 2020-08-18 | 1 | -0/+25 |
|\ | |||||
| * | Merge branch 'master' into add-disable-diagnostics | Igor Aleksanov | 2020-08-14 | 1 | -0/+25 |
* | | Fix missing match arm false error on unknown type | CAD97 | 2020-08-17 | 2 | -4/+2 |
* | | Document missing match arm false positive | CAD97 | 2020-08-17 | 1 | -0/+19 |
* | | Chalk 0.23 | Jeremy Kolb | 2020-08-16 | 2 | -5/+5 |
* | | Only print chalk programs with CHALK_PRINT | Wilco Kusee | 2020-08-14 | 1 | -10/+15 |
* | | Lookup adt names | Wilco Kusee | 2020-08-14 | 1 | -1/+2 |
* | | Only use logging db if CHALK_DEBUG is active | Wilco Kusee | 2020-08-14 | 1 | -12/+15 |
* | | Print chalk programs in debug output | Wilco Kusee | 2020-08-14 | 2 | -12/+19 |
|/ | |||||
* | display correctly 'impl Trait<T> + Trait<T>' #4814 | Benjamin Coenen | 2020-08-13 | 1 | -0/+1 |
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 36 | -0/+22874 |