aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_def/src
Commit message (Collapse)AuthorAgeFilesLines
* Finalize TypeBound grammarAleksey Kladov2020-07-311-1/+1
|
* "Finalize" Types grammarAleksey Kladov2020-07-311-1/+0
| | | | | | | Note that `for` type is rust-analyzer's own invention. Both the reference and syn allow `for` only for fnptr types, and we allow them everywhere. This needs to be checked with respect to type bounds grammar...
* Reame PlaceholderType -> InferTypeAleksey Kladov2020-07-311-1/+1
|
* Rename TypeRef -> TypeAleksey Kladov2020-07-314-20/+20
| | | | | | | | | | 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 TypeRefsAleksey Kladov2020-07-305-17/+15
|
* Remove TypeAscriptionOwnerAleksey Kladov2020-07-306-20/+15
|
* Finalize attribute grammarAleksey Kladov2020-07-301-11/+8
|
* Finaize item grammarAleksey Kladov2020-07-301-0/+1
|
* Finalize impl GrammarAleksey Kladov2020-07-305-10/+10
|
* Finalize Trait grammarAleksey Kladov2020-07-306-12/+12
|
* Finalize const&static grammarAleksey Kladov2020-07-305-17/+17
|
* Rename EnumVariant -> VariantAleksey Kladov2020-07-304-6/+6
|
* Rename EnumDef -> EnumAleksey Kladov2020-07-306-9/+9
|
* Rename StructDef -> StructAleksey Kladov2020-07-305-10/+10
|
* Finalize union grammarAleksey Kladov2020-07-305-8/+8
|
* Rename FieldDef -> FieldAleksey Kladov2020-07-303-19/+20
|
* Rename RecordLit -> RecordExprAleksey Kladov2020-07-302-4/+4
|
* Rename TypeParamList -> GenericParamListAleksey Kladov2020-07-302-7/+7
|
* Rename TypeAliasDef -> TypeAliasAleksey Kladov2020-07-305-9/+9
|
* Rename FnDef -> FnAleksey Kladov2020-07-305-21/+21
|
* Update testsAleksey Kladov2020-07-301-2/+2
|
* Rename UseItem -> UseAleksey Kladov2020-07-304-7/+7
|
* Update testsAleksey Kladov2020-07-301-1/+1
|
* Finish extern crates grammarAleksey Kladov2020-07-303-6/+6
|
* Rename RenameAleksey Kladov2020-07-302-2/+2
|
* Split ItemList & AssocItemListAleksey Kladov2020-07-301-10/+9
|
* Rename ModuleItem -> ItemAleksey Kladov2020-07-296-62/+58
|
* Switch to ungrammar from ast_srcAleksey Kladov2020-07-291-1/+1
| | | | | | | | | | | | | | | | | | The primary advantage of ungrammar is that it (eventually) allows one to describe concrete syntax tree structure -- with alternatives and specific sequence of tokens & nodes. That should be re-usable for: * generate `make` calls * Rust reference * Hypothetical parser's evented API We loose doc comments for the time being unfortunately. I don't think we should add support for doc comments to ungrammar -- they'll make grammar file hard to read. We might supply docs as out-of band info, or maybe just via a reference, but we'll think about that once things are no longer in flux
* Cleanup CFG APIAleksey Kladov2020-07-231-3/+6
|
* Check that visibility upgrade path is hitJonas Schievink2020-07-222-4/+8
|
* Support `Trait as _` importsJonas Schievink2020-07-215-26/+244
|
* SimplifyAleksey Kladov2020-07-202-11/+11
|
* Remove insta for ra_hir_defAleksey Kladov2020-07-172-163/+169
|
* Rewrite def map tests from insta to expectAleksey Kladov2020-07-175-1938/+1821
| | | | Those indentation markers are annoying...
* Semantical call infoAleksey Kladov2020-07-161-1/+9
|
* Remove TypeCtor interningFlorian Diebold2020-07-151-4/+4
| | | | Our TypeCtor and Chalk's TypeName match now!
* Cleanup limitsAleksey Kladov2020-07-151-7/+7
|
* Check cancellation when updating imports recursivelyAleksey Kladov2020-07-151-0/+1
| | | | | For winapi, this takes a lot of CPU time without doing queries and causes the main event loop to stall on cancellation.
* Micro-optimize updateAleksey Kladov2020-07-151-5/+6
|
* Update ItemTree snapshotsJonas Schievink2020-07-141-12/+12
|
* Thread varargs through r-aJonas Schievink2020-07-144-3/+22
|
* ItemTree: Lower tuple types despite invalid typeJonas Schievink2020-07-141-7/+6
|
* Guard against infinite macro expansionsAleksey Kladov2020-07-142-0/+29
| | | | closes #4463
* Don't copy-paste `impl_froms` into every crateAleksey Kladov2020-07-131-30/+15
|
* Rewrite item_tree tests to expectAleksey Kladov2020-07-111-105/+109
| | | | insta review wouldn't update the test, so ...
* Extern fns are implicitly unsafeAleksey Kladov2020-07-111-0/+1
| | | | closes #4865
* Bump macro recursion limit in releaseAleksey Kladov2020-07-111-2/+8
|
* More tight recursion limit when expanding macros in function bodiesAleksey Kladov2020-07-111-6/+48
| | | | | | | | | | | cc #4944 cc #5317 This doesn't fully close #4944 -- looks like we hit SO in syntax highlighting, when we use `Semantics::expand_macro`. Seems like we need to place expansion limit on the macro itself (store it as a part of MacroCallId?)!
* Goto type definition works for selfAleksey Kladov2020-07-101-0/+5
|
* Re-enable IDE features for incomplete impl blocsAleksey Kladov2020-07-091-2/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 01:56:52 +0000