Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 |
| | | | | This was duplicating impls in dependencies a lot... | ||||
* | Add a HirDisplay implementation for TraitRef | Florian Diebold | 2019-05-07 | 1 | -0/+17 |
| | |||||
* | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 5 | -8/+13 |
| | |||||
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 5 | -11/+133 |
| | |||||
* | Merge #1208 | bors[bot] | 2019-05-04 | 2 | -5/+42 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1208: [WIP] Goto for Macro's r=matklad a=Lapz Adds goto definition for macros. Currently only works for macros in the current crate ~~otherwise it panics~~. Proper macro resolution needs to be added for it to resolve macros in other crates. Todo - [X] Allow goto from macro calls - [X] Fix panics - [x] Add tests ![Screen Recording 2019-04-25 at 18 00 24](https://user-images.githubusercontent.com/19998186/56754499-1dd01c00-6785-11e9-9e9a-1e36de70cfa3.gif) Co-authored-by: Lenard Pratt <[email protected]> | ||||
| * | Added local macro goto | Lenard Pratt | 2019-05-04 | 2 | -5/+42 |
| | | |||||
* | | Differentiate Tuple / FnPtr type constructors by cardinality | Florian Diebold | 2019-05-04 | 4 | -14/+24 |
| | | | | | | | | | | This is necessary because Chalk (reasonably) expects each 'struct' to know how many type parameters it takes. | ||||
* | | Simplify subst / subst_bound_vars a bit | Florian Diebold | 2019-05-04 | 1 | -12/+2 |
| | | |||||
* | | Handle recursive types in canonicalization | Florian Diebold | 2019-05-04 | 3 | -5/+15 |
| | | |||||
* | | Remove ToChalk implementation for ApplicationTy | Florian Diebold | 2019-05-04 | 1 | -29/+16 |
| | | |||||
* | | Make canonicalization API a bit nicer | Florian Diebold | 2019-05-04 | 2 | -31/+56 |
| | | |||||
* | | Update Chalk | Florian Diebold | 2019-05-04 | 3 | -11/+16 |
| | | |||||
* | | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 2 | -8/+12 |
| | | |||||
* | | Handle Ty::Unknown in Chalk conversion | Florian Diebold | 2019-05-04 | 1 | -1/+5 |
| | | | | | | | | Badly, but at least it doesn't crash. | ||||
* | | 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 |
| | | | | | | | | | | Also remove the only remaining mention of chalk outside of the ty::traits module. | ||||
* | | 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 | 13 | -147/+677 |
| | | | | | | | | | | - add proper canonicalization logic - add conversions from/to Chalk IR | ||||
* | | Add Ty::Bound variant for use in Chalk integration | Florian Diebold | 2019-05-04 | 1 | -2/+7 |
| | | |||||
* | | 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 |
| | | | | | | | | | | | | | | | | | | | | | | | | Currently, when expanding macros, we look at the source code directly (we invoke ast_id_to_node query via to_node method). This is less then ideal, because it make us re-expand macros after every source change. This commit establishes a salsa-firewall: a query to get macro call's token tree. Unlike the syntax tree, token tree changes only if we actually modify the macro itself. | ||||
* | | Revert "eagarly clean astd maps" | Aleksey Kladov | 2019-05-04 | 2 | -2/+2 |
| | | | | | | | | | | | | This reverts commit 6c63a59425e256ce46d058807b64149297231982. This causes massive slowdowns: looks like we accidentally have some source-depndent | ||||
* | | eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 2 | -2/+2 |
|/ | |||||
* | Use correct FileId when expanding macros in expressions | Aleksey Kladov | 2019-05-01 | 2 | -33/+44 |
| | |||||
* | Sidestep two-phase borrow violation signaled by ↵ | Felix S. Klock II | 2019-04-29 | 1 | -2/+3 |
| | | | | | | mutable_borrow_reservation_conflict. See rust-lang/rust#59159 for further information/discussion. | ||||
* | Add more information on macro rules fail to parse | Edwin Cheng | 2019-04-25 | 1 | -2/+8 |
| | |||||
* | drop empty file | Aleksey Kladov | 2019-04-25 | 1 | -0/+0 |
| | |||||
* | Introduced resolve_macro_call on resolver | Lenard Pratt | 2019-04-23 | 5 | -55/+112 |
| | | | | | | changed to manual expansion fix for nested macros | ||||
* | Added macro resolution and expansion | Lenard Pratt | 2019-04-22 | 6 | -93/+135 |
| | |||||
* | Addeded resolver and db | Lenard Pratt | 2019-04-22 | 1 | -60/+79 |
| | |||||
* | Merge #1194 | bors[bot] | 2019-04-22 | 2 | -1/+14 |
|\ | | | | | | | | | | | | | | | | | 1194: Pr 1190 r=matklad a=matklad Co-authored-by: Andrea Pretto <[email protected]> Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | unused import | Aleksey Kladov | 2019-04-22 | 1 | -2/+0 |
| | | |||||
| * | move auto-imoprter into IDE | Aleksey Kladov | 2019-04-22 | 4 | -76/+13 |
| | | | | | | | | | | auto-import is purely an IDE concern, so it should be done outside of HIR | ||||
| * | complete_import: prevent panic when the anchor is the completion source range | Andrea Pretto | 2019-04-21 | 2 | -9/+1 |
| | | | | | | | | | | | | (fix rebase mess) Please enter the commit message for your changes. Lines starting | ||||
| * | complete_import: add new import resolver infrastructure with some hardcoded ↵ | Andrea Pretto | 2019-04-21 | 3 | -2/+84 |
| | | | | | | | | | | | | importable name. Changes complete_scope to support that. | ||||
| * | auto_import: make auto import working with target as a list of SmolStr ↵ | Andrea Pretto | 2019-04-21 | 1 | -0/+4 |
| | | | | | | | | instead of ast::Path | ||||
* | | Change macro stack monitor test to func ptr based | Edwin Cheng | 2019-04-22 | 1 | -40/+25 |
| | | |||||
* | | Add mbe expand limit and poision macro set | Edwin Cheng | 2019-04-22 | 3 | -15/+194 |
|/ | |||||
* | Add more information on parse_macro fail | Edwin Cheng | 2019-04-21 | 1 | -10/+27 |
| | |||||
* | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 3 | -5/+63 |
| | | | | | This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet. | ||||
* | Merge #1175 | bors[bot] | 2019-04-21 | 2 | -6/+39 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | 1175: Fix bugs and add error log about macro expansion r=matklad a=edwin0cheng This PR fixed / add following things: * Add a fused count which stop recursion of macro expansion in name resolution. * Add some logs when macro expansion fails * Add `$crate` meta variable support in mbe, which create a `$crate` ident token in token tree. * Fixed matching a `$REPEAT` pattern inside a subtree, e.g. `(fn $name:ident {$($i:ident)*} ) => {...}` * Remove composite-able punct token in syntax node to token conversion. Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Fix bugs | Edwin Cheng | 2019-04-20 | 2 | -6/+39 |
| | | |||||
* | | Add a simple test for str method completion | Florian Diebold | 2019-04-20 | 1 | -0/+22 |
| | | |||||
* | | lang_item_lookup is now a salsa query. | Marco Groppo | 2019-04-19 | 3 | -32/+34 |
| | | |||||
* | | New krate() method in Resolver. | Marco Groppo | 2019-04-19 | 4 | -54/+44 |
| | | | | | | | | Renamed Impl to ImplBlock. | ||||
* | | Initial support for lang items. | Marco Groppo | 2019-04-19 | 7 | -30/+175 |
|/ | |||||
* | Refactoring | Edwin Cheng | 2019-04-17 | 1 | -51/+46 |
| |