Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 1 | -2/+5 | |
* | Handle Chalk conversion for FnDef | Florian Diebold | 2019-05-11 | 1 | -2/+25 | |
* | Handle resolution errors in where clauses | Florian Diebold | 2019-05-11 | 1 | -15/+41 | |
* | Handle where clauses in trait solving | Florian Diebold | 2019-05-11 | 1 | -13/+55 | |
* | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 1 | -1/+3 | |
* | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 1 | -1/+1 | |
* | Remove ToChalk implementation for ApplicationTy | Florian Diebold | 2019-05-04 | 1 | -29/+16 | |
* | Update Chalk | Florian Diebold | 2019-05-04 | 1 | -4/+13 | |
* | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 1 | -6/+9 | |
* | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 | |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 1 | -6/+7 | |
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 1 | -0/+327 |