aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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 #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
* | Merge #1226bors[bot]2019-05-032-24/+43
|\ \ | |/ |/|
| * Fixed old incorrect testEdwin Cheng2019-05-021-1/+1
| * Fix typoEdwin Cheng2019-05-021-3/+3
| * Compare text insteadEdwin Cheng2019-05-021-2/+2
| * Add empty bindings and some refactoringEdwin Cheng2019-05-022-22/+41
|/
* Merge #1225bors[bot]2019-05-023-5/+28
|\
| * Make `vis` matcher optional and fix typoEdwin Cheng2019-05-023-5/+28
|/
* Merge #1224bors[bot]2019-05-023-213/+120
|\
| * Remove unused code in subtree_sourceEdwin Cheng2019-05-021-182/+41
| * FormatingEdwin Cheng2019-05-021-1/+1
| * Remove unused code and add space bewteen ttEdwin Cheng2019-05-022-32/+80
|/
* Merge #1222bors[bot]2019-05-011-1/+9
|\
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 23:06:32 +0000