Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove unused import left behind after rebasing | Paul Daniel Faria | 2020-08-10 | 1 | -1/+1 |
| | |||||
* | Fix type names broken by rebase, redo expected test because of rebase | Paul Daniel Faria | 2020-08-10 | 2 | -5/+31 |
| | |||||
* | Return bool from is_unsafe_method_call and cleanup usages | Paul Daniel Faria | 2020-08-10 | 1 | -5/+6 |
| | |||||
* | Move semantic logic into Semantics, fix missing tag for safe amp operator, ↵ | Paul Daniel Faria | 2020-08-10 | 5 | -70/+37 |
| | | | | using functional methods rather than clunky inline closure | ||||
* | Remove merge backup | Paul Daniel Faria | 2020-08-10 | 1 | -769/+0 |
| | |||||
* | Fix rebase errors | Paul Daniel Faria | 2020-08-10 | 4 | -9/+10 |
| | |||||
* | Move unsafe packed ref logic to Semantics, use `Attrs::by_key` to simplify ↵ | Paul Daniel Faria | 2020-08-10 | 2 | -32/+771 |
| | | | | repr attr lookup | ||||
* | Revert function structs back to using bool to track self param, use first ↵ | Paul Daniel Faria | 2020-08-10 | 4 | -6/+11 |
| | | | | param for self information in syntax highlighting instead | ||||
* | Deduplicate unsafe method call into a single function | Paul Daniel Faria | 2020-08-10 | 1 | -41/+31 |
| | |||||
* | Unsafe borrow of packed fields: account for borrow through ref binding, auto ↵ | Paul Daniel Faria | 2020-08-10 | 5 | -38/+136 |
| | | | | ref function calls | ||||
* | Cleanup repr check, fix packed repr check and test | Paul Daniel Faria | 2020-08-10 | 2 | -11/+7 |
| | |||||
* | Update FIXME comment to be more useful | Paul Daniel Faria | 2020-08-10 | 1 | -1/+2 |
| | |||||
* | Limit scope of unsafe to & instead of all ref exprs, add test showing ↵ | Paul Daniel Faria | 2020-08-10 | 2 | -1/+20 |
| | | | | missing support for autoref behavior | ||||
* | Remove token tree from ReprKind::Other variant, expose ReprKind higher, ↵ | Paul Daniel Faria | 2020-08-10 | 1 | -7/+1 |
| | | | | remove debug println. | ||||
* | Add tracking of packed repr, use it to highlight unsafe refs | Paul Daniel Faria | 2020-08-10 | 2 | -0/+35 |
| | | | | | | Taking a reference to a misaligned field on a packed struct is an unsafe operation. Highlight that behavior. Currently, the misaligned part isn't tracked, so this highlight is a bit too aggressive. | ||||
* | Better codes | JmPotato | 2020-08-10 | 1 | -8/+4 |
| | | | | Signed-off-by: JmPotato <[email protected]> | ||||
* | Show const body in short_label | JmPotato | 2020-08-10 | 2 | -5/+13 |
| | | | | Signed-off-by: JmPotato <[email protected]> | ||||
* | Merge #5692 | bors[bot] | 2020-08-10 | 7 | -12/+142 |
|\ | | | | | | | | | | | | | | | | | | | 5692: Add support for extern crate r=jonas-schievink a=Nashenas88 This adds syntax highlighting, hover and goto def functionality for extern crate. Fixes #5690 Co-authored-by: Paul Daniel Faria <[email protected]> | ||||
| * | Remove Option<...> from result of Crate::root_module | Paul Daniel Faria | 2020-08-09 | 3 | -6/+7 |
| | | | | | | | | | | There doesn't seem to be any need for it, and removing it simplies several paths of code that depend on it. | ||||
| * | Add support for extern crate | Paul Daniel Faria | 2020-08-08 | 7 | -13/+142 |
| | | | | | | | | | | This adds syntax highlighting, hover and goto def functionality for extern crate | ||||
* | | format in to_proto::markup_content | JmPotato | 2020-08-09 | 1 | -0/+31 |
| | | | | | | | | Signed-off-by: JmPotato <[email protected]> | ||||
* | | Merge #5684 | bors[bot] | 2020-08-08 | 3 | -10/+78 |
|\ \ | |/ |/| | | | | | | | | | | | | | | | 5684: Semantic highlighting for unsafe union field access r=jonas-schievink a=Nashenas88 This change adds support for unions in inference and lowering, then extends on that to add the unsafe semantic modifier on field access only. The `is_possibly_unsafe` function in `syntax_highlighting.rs` could be extended to support fns and static muts so that their definitions are not highlighted as unsafe, but only their usage. Also, each commit of this PR updates the tests. By reviewing the files by commit, it's easy to see how the changes in the code affected the tests. Co-authored-by: Paul Daniel Faria <[email protected]> | ||||
| * | Apply unsafe semantic highlighting to union field access | Paul Daniel Faria | 2020-08-08 | 2 | -13/+59 |
| | | |||||
| * | Add support for unions in inference and lowering | Paul Daniel Faria | 2020-08-08 | 1 | -4/+4 |
| | | |||||
| * | Add test for unsafe union field access highlighting | Paul Daniel Faria | 2020-08-07 | 2 | -0/+22 |
| | | |||||
* | | Mark static mutable names as unsafe | Paul Daniel Faria | 2020-08-07 | 3 | -4/+5 |
| | | |||||
* | | Add test for accessing static mut | Paul Daniel Faria | 2020-08-07 | 2 | -0/+14 |
|/ | |||||
* | align names in make | Aleksey Kladov | 2020-08-05 | 1 | -4/+6 |
| | |||||
* | When resolving a rename, fallback to the name higher in the use tree if the ↵ | Paul Daniel Faria | 2020-08-04 | 1 | -1/+1 |
| | | | | path segment is `self` | ||||
* | Add test showing unresolved module rename | Paul Daniel Faria | 2020-08-04 | 2 | -1/+7 |
| | |||||
* | Fold trait declarations | Laurențiu Nicola | 2020-08-03 | 1 | -1/+22 |
| | |||||
* | Update grammar | Aleksey Kladov | 2020-08-01 | 2 | -2/+2 |
| | |||||
* | Rename DotDotPat -> RestPat | Aleksey Kladov | 2020-07-31 | 1 | -1/+1 |
| | |||||
* | Rename | Aleksey Kladov | 2020-07-31 | 3 | -4/+4 |
| | |||||
* | Rename BindPat -> IdentPat | Aleksey Kladov | 2020-07-31 | 6 | -17/+21 |
| | |||||
* | Allign RecordPat with RecordExpr | Aleksey Kladov | 2020-07-31 | 3 | -5/+5 |
| | |||||
* | Rename TypeArgList -> GenericArgList | Aleksey Kladov | 2020-07-31 | 2 | -2/+2 |
| | |||||
* | Rename LambdaExpr -> ClosureExpr | Aleksey Kladov | 2020-07-31 | 1 | -1/+1 |
| | |||||
* | Rename TypeRef -> Type | Aleksey Kladov | 2020-07-31 | 3 | -4/+4 |
| | | | | | | | | | | The TypeRef name comes from IntelliJ days, where you often have both type *syntax* as well as *semantical* representation of types in scope. And naming both Type is confusing. In rust-analyzer however, we use ast types as `ast::Type`, and have many more semantic counterparts to ast types, so avoiding name clash here is just confusing. | ||||
* | Use ty to access most TypeRefs | Aleksey Kladov | 2020-07-30 | 2 | -2/+2 |
| | |||||
* | Remove TypeAscriptionOwner | Aleksey Kladov | 2020-07-30 | 4 | -31/+22 |
| | |||||
* | Finalize attribute grammar | Aleksey Kladov | 2020-07-30 | 1 | -6/+4 |
| | |||||
* | Finalize impl Grammar | Aleksey Kladov | 2020-07-30 | 6 | -15/+14 |
| | |||||
* | Finalize Trait grammar | Aleksey Kladov | 2020-07-30 | 7 | -25/+25 |
| | |||||
* | fmt | Aleksey Kladov | 2020-07-30 | 1 | -4/+3 |
| | |||||
* | Finalize const&static grammar | Aleksey Kladov | 2020-07-30 | 6 | -17/+17 |
| | |||||
* | Rename EnumVariant -> Variant | Aleksey Kladov | 2020-07-30 | 7 | -10/+10 |
| | |||||
* | Rename EnumDef -> Enum | Aleksey Kladov | 2020-07-30 | 5 | -9/+9 |
| | |||||
* | Rename StructDef -> Struct | Aleksey Kladov | 2020-07-30 | 7 | -32/+32 |
| | |||||
* | Finalize union grammar | Aleksey Kladov | 2020-07-30 | 4 | -4/+4 |
| |