aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove collectJeremy Kolb2019-05-051-2/+1
* Merge #1245bors[bot]2019-05-051-0/+2
|\
| * Profile diagnostics.Marco Groppo2019-05-051-0/+2
|/
* Merge #1242bors[bot]2019-05-052-0/+55
|\
| * Fixed missing empty varsEdwin Cheng2019-05-052-0/+55
|/
* Merge #1241bors[bot]2019-05-041-89/+131
|\
| * :arrow_up: depsAleksey Kladov2019-05-041-89/+131
|/
* Merge #1208bors[bot]2019-05-049-6/+97
|\
| * Added local macro gotoLenard Pratt2019-05-049-6/+97
* | Merge #1216bors[bot]2019-05-0417-280/+1027
|\ \
| * | Differentiate Tuple / FnPtr type constructors by cardinalityFlorian Diebold2019-05-045-15/+25
| * | Simplify subst / subst_bound_vars a bitFlorian Diebold2019-05-041-12/+2
| * | Handle recursive types in canonicalizationFlorian Diebold2019-05-043-5/+15
| * | Remove ToChalk implementation for ApplicationTyFlorian Diebold2019-05-041-29/+16
| * | Make canonicalization API a bit nicerFlorian Diebold2019-05-042-31/+56
| * | Update ChalkFlorian Diebold2019-05-044-34/+39
| * | Turn eprintln!s into debug!sFlorian Diebold2019-05-042-8/+12
| * | Handle Ty::Unknown in Chalk conversionFlorian Diebold2019-05-041-1/+5
| * | Canonicalize before doing method resolutionFlorian Diebold2019-05-047-133/+165
| * | Document the peculiarity of the solver query a bitFlorian Diebold2019-05-042-3/+10
| * | Move Chalk conversion code to its own moduleFlorian Diebold2019-05-043-321/+339
| * | Implement Deref<Target=[Ty]> for SubstsFlorian Diebold2019-05-042-18/+18
| * | Simplify solution_from_chalkFlorian Diebold2019-05-041-12/+11
| * | Chalk integrationFlorian Diebold2019-05-0414-147/+798
| * | Add Ty::Bound variant for use in Chalk integrationFlorian Diebold2019-05-041-2/+7
* | | Merge #1239bors[bot]2019-05-041-3/+24
|\ \ \ | |/ / |/| |
| * | Fix `$true` and `$false` as $var name errorEdwin Cheng2019-05-041-3/+24
|/ /
* | Merge #1238bors[bot]2019-05-045-69/+64
|\ \
| * | make macro expansion into a proper queryAleksey Kladov2019-05-043-35/+28
| * | minor, moveAleksey Kladov2019-05-041-19/+19
| * | introduce macro_arg intermediate queryAleksey Kladov2019-05-043-25/+27
| * | Revert "eagarly clean astd maps"Aleksey Kladov2019-05-043-3/+3
* | | Merge #1237bors[bot]2019-05-041-3/+8
|\ \ \ | |/ / |/| |
| * | Add testEdwin Cheng2019-05-041-0/+2
| * | Error out when parse_subtree is not a subtreeEdwin Cheng2019-05-041-3/+6
|/ /
* | Merge #1235bors[bot]2019-05-041-6/+1
|\ \
| * | revert eagarly clean astd mapsAleksey Kladov2019-05-041-6/+1
* | | Merge #1230bors[bot]2019-05-042-3/+95
|\ \ \ | |/ / |/| |
| * | Quote the quoted commentEdwin Cheng2019-05-042-2/+2
| * | Use explict `escape_default` instead of dbg printEdwin Cheng2019-05-041-1/+1
| * | Convert doc comment to attrEdwin Cheng2019-05-042-3/+95
* | | Merge #1231bors[bot]2019-05-044-3/+9
|\ \ \ | |/ / |/| |
| * | eagarly clean astd mapsAleksey Kladov2019-05-044-3/+9
|/ /
* | Merge #1229bors[bot]2019-05-032-13/+61
|\ \
| * | Mark unused mbe variable as `Binding::Empty`Edwin Cheng2019-05-032-13/+61
|/ /
* | Merge #1228bors[bot]2019-05-033-1142/+1409
|\ \
| * | By pass unbind $var while mbe expandingEdwin Cheng2019-05-033-7/+39
| * | Refactor out tests module and remove empty subtreeEdwin Cheng2019-05-033-1137/+1372
|/ /
* | Merge #1227bors[bot]2019-05-033-1/+8
|\ \
| * | Add default type param in TypeParam NodeEdwin Cheng2019-05-033-1/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 12:28:14 +0000