| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-05-06 | Resolve vars in note_type_err | Jack Huey | -4/+4 | |
| 2022-03-27 | Point (again) to more expressions with their type, even if not fully resolved | Esteban Kuber | -2/+3 | |
| 2021-12-14 | Make TyS::is_suggestable more structual | Michael Goulet | -3/+2 | |
| 2021-03-19 | update tests | mark | -9/+9 | |
| 2021-03-05 | use pat<no_top_alt> for patterns in let bindings | mark | -41/+41 | |
| 2021-02-06 | path trimming: ignore type aliases | Dan Aloni | -1/+1 | |
| 2020-03-04 | resolve, inconsistent binding mode: tweak wording. | Mazdak Farrokhzad | -12/+12 | |
| 2020-02-25 | improve or-pattern type consistency diagnostics | Mazdak Farrokhzad | -6/+10 | |
| 2020-02-01 | Remove or_patterns from INCOMPLETE_FEATURES | Matthew Jasper | -17/+9 | |
| 2019-12-30 | Blame user type in pat type error. | Mazdak Farrokhzad | -1/+1 | |
| 2019-12-30 | refactor and fix this-expression-has-type note | Mazdak Farrokhzad | -2/+6 | |
| 2019-09-05 | resolve: test consistent or-patterns being allowed. | Mazdak Farrokhzad | -9/+17 | |
| 2019-09-05 | resolve: test binding mode consistency for or-patterns. | Mazdak Farrokhzad | -0/+72 | |
