Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 |
* | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 7 | -133/+165 |
* | Document the peculiarity of the solver query a bit | Florian Diebold | 2019-05-04 | 2 | -3/+10 |
* | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 3 | -321/+339 |
* | Implement Deref<Target=[Ty]> for Substs | Florian Diebold | 2019-05-04 | 2 | -18/+18 |
* | Simplify solution_from_chalk | Florian Diebold | 2019-05-04 | 1 | -12/+11 |
* | Chalk integration | Florian Diebold | 2019-05-04 | 14 | -147/+798 |
* | Add Ty::Bound variant for use in Chalk integration | Florian Diebold | 2019-05-04 | 1 | -2/+7 |
* | Merge #1238 | bors[bot] | 2019-05-04 | 5 | -69/+64 |
|\ | |||||
| * | make macro expansion into a proper query | Aleksey Kladov | 2019-05-04 | 3 | -35/+28 |
| * | minor, move | Aleksey Kladov | 2019-05-04 | 1 | -19/+19 |
| * | introduce macro_arg intermediate query | Aleksey Kladov | 2019-05-04 | 3 | -25/+27 |
| * | Revert "eagarly clean astd maps" | Aleksey Kladov | 2019-05-04 | 3 | -3/+3 |
* | | Merge #1237 | bors[bot] | 2019-05-04 | 1 | -3/+8 |
|\ \ | |/ |/| | |||||
| * | Add test | Edwin Cheng | 2019-05-04 | 1 | -0/+2 |
| * | Error out when parse_subtree is not a subtree | Edwin Cheng | 2019-05-04 | 1 | -3/+6 |
|/ | |||||
* | Merge #1235 | bors[bot] | 2019-05-04 | 1 | -6/+1 |
|\ | |||||
| * | revert eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 1 | -6/+1 |
* | | Merge #1230 | bors[bot] | 2019-05-04 | 2 | -3/+95 |
|\ \ | |/ |/| | |||||
| * | Quote the quoted comment | Edwin Cheng | 2019-05-04 | 2 | -2/+2 |
| * | Use explict `escape_default` instead of dbg print | Edwin Cheng | 2019-05-04 | 1 | -1/+1 |
| * | Convert doc comment to attr | Edwin Cheng | 2019-05-04 | 2 | -3/+95 |
* | | Merge #1231 | bors[bot] | 2019-05-04 | 4 | -3/+9 |
|\ \ | |/ |/| | |||||
| * | eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 4 | -3/+9 |
|/ | |||||
* | Merge #1229 | bors[bot] | 2019-05-03 | 2 | -13/+61 |
|\ | |||||
| * | Mark unused mbe variable as `Binding::Empty` | Edwin Cheng | 2019-05-03 | 2 | -13/+61 |
|/ | |||||
* | Merge #1228 | bors[bot] | 2019-05-03 | 3 | -1142/+1409 |
|\ | |||||
| * | By pass unbind $var while mbe expanding | Edwin Cheng | 2019-05-03 | 3 | -7/+39 |
| * | Refactor out tests module and remove empty subtree | Edwin Cheng | 2019-05-03 | 3 | -1137/+1372 |
|/ | |||||
* | Merge #1227 | bors[bot] | 2019-05-03 | 3 | -1/+8 |
|\ | |||||
| * | Add default type param in TypeParam Node | Edwin Cheng | 2019-05-03 | 3 | -1/+8 |
* | | Merge #1226 | bors[bot] | 2019-05-03 | 2 | -24/+43 |
|\ \ | |/ |/| | |||||
| * | Fixed old incorrect test | Edwin Cheng | 2019-05-02 | 1 | -1/+1 |
| * | Fix typo | Edwin Cheng | 2019-05-02 | 1 | -3/+3 |
| * | Compare text instead | Edwin Cheng | 2019-05-02 | 1 | -2/+2 |
| * | Add empty bindings and some refactoring | Edwin Cheng | 2019-05-02 | 2 | -22/+41 |
|/ | |||||
* | Merge #1225 | bors[bot] | 2019-05-02 | 3 | -5/+28 |
|\ | |||||
| * | Make `vis` matcher optional and fix typo | Edwin Cheng | 2019-05-02 | 3 | -5/+28 |
|/ | |||||
* | Merge #1224 | bors[bot] | 2019-05-02 | 3 | -213/+120 |
|\ | |||||
| * | Remove unused code in subtree_source | Edwin Cheng | 2019-05-02 | 1 | -182/+41 |
| * | Formating | Edwin Cheng | 2019-05-02 | 1 | -1/+1 |
| * | Remove unused code and add space bewteen tt | Edwin Cheng | 2019-05-02 | 2 | -32/+80 |
|/ | |||||
* | Merge #1222 | bors[bot] | 2019-05-01 | 1 | -1/+9 |
|\ | |||||
| * | Skip Dollars when bump raw token | Edwin Cheng | 2019-05-01 | 1 | -1/+9 |
* | | Merge #1223 | bors[bot] | 2019-05-01 | 3 | -0/+135 |
|\ \ | |/ |/| | |||||
| * | add complex match case and documentation | Unreal Hoang | 2019-05-01 | 2 | -13/+47 |
| * | move guard to arm body assist. | Unreal Hoang | 2019-05-01 | 2 | -0/+101 |
* | | Merge #1220 | bors[bot] | 2019-05-01 | 3 | -1/+49 |
|\ \ | |||||
| * | | Add macro pat parsing | Edwin Cheng | 2019-04-30 | 3 | -1/+49 |
* | | | Merge #1221 | bors[bot] | 2019-05-01 | 2 | -33/+44 |
|\ \ \ | |_|/ |/| | |