diff options
-rw-r--r-- | rfc.md | 40 |
1 files changed, 23 insertions, 17 deletions
@@ -36,9 +36,7 @@ be `0.1.0`. | |||
36 | # Motivation | 36 | # Motivation |
37 | [motivation]: #motivation | 37 | [motivation]: #motivation |
38 | 38 | ||
39 | "Reusable software component" part is addressed first "IDE ready part" | 39 | ## Reusability |
40 | second. | ||
41 | |||
42 | 40 | ||
43 | In theory, parsing can be a pure function, which takes a `&str` as an | 41 | In theory, parsing can be a pure function, which takes a `&str` as an |
44 | input, and produces a `ParseTree` as an output. | 42 | input, and produces a `ParseTree` as an output. |
@@ -69,37 +67,45 @@ files. As a data point, it turned out to be easier to move `rustfmt` | |||
69 | inside of main `rustc` repository than to move libsyntax outside! | 67 | inside of main `rustc` repository than to move libsyntax outside! |
70 | 68 | ||
71 | 69 | ||
70 | ## IDE support | ||
72 | 71 | ||
72 | There is one big difference in how IDEs and compilers typically treat | ||
73 | source code. | ||
73 | 74 | ||
75 | In the compiler, it is convenient to transform the source | ||
76 | code into Abstract Syntax Tree form, which is independent of the | ||
77 | surface syntax. For example, it's convenient to discard comments, | ||
78 | whitespaces and desugar some syntactic constructs in terms of the | ||
79 | simpler ones. | ||
74 | 80 | ||
81 | In contrast, for IDEs it is crucial to have a lossless view of the | ||
82 | source code because, for example, it's important to preserve comments | ||
83 | during refactorings. | ||
75 | 84 | ||
76 | 85 | Currently rustc uses the AST approach, which preserves the source code | |
86 | information to some extent by storing spans in the AST. | ||
77 | 87 | ||
78 | 88 | ||
79 | 89 | ||
80 | # Guide-level explanation | 90 | # Guide-level explanation |
81 | [guide-level-explanation]: #guide-level-explanation | 91 | [guide-level-explanation]: #guide-level-explanation |
82 | 92 | ||
83 | Explain the proposal as if it was already included in the language and you were teaching it to another Rust programmer. That generally means: | 93 | Not applicable. |
84 | 94 | ||
85 | - Introducing new named concepts. | ||
86 | - Explaining the feature largely in terms of examples. | ||
87 | - Explaining how Rust programmers should *think* about the feature, and how it should impact the way they use Rust. It should explain the impact as concretely as possible. | ||
88 | - If applicable, provide sample error messages, deprecation warnings, or migration guidance. | ||
89 | - If applicable, describe the differences between teaching this to existing Rust programmers and new Rust programmers. | ||
90 | |||
91 | For implementation-oriented RFCs (e.g. for compiler internals), this section should focus on how compiler contributors should think about the change, and give examples of its concrete impact. For policy RFCs, this section should provide an example-driven introduction to the policy, and explain its impact in concrete terms. | ||
92 | 95 | ||
93 | # Reference-level explanation | 96 | # Reference-level explanation |
94 | [reference-level-explanation]: #reference-level-explanation | 97 | [reference-level-explanation]: #reference-level-explanation |
95 | 98 | ||
96 | This is the technical portion of the RFC. Explain the design in sufficient detail that: | 99 | This section proposes a new syntax tree data structure, which should |
100 | be suitable for both compiler and IDE. It is heavily inspired by [PSI] | ||
101 | data structure which used in [IntelliJ] based IDEs and in the Kotlin | ||
102 | compiler. | ||
103 | |||
97 | 104 | ||
98 | - Its interaction with other features is clear. | 105 | [PSI]: http://www.jetbrains.org/intellij/sdk/docs/reference_guide/custom_language_support/implementing_parser_and_psi.html |
99 | - It is reasonably clear how the feature would be implemented. | 106 | [IntelliJ]: https://github.com/JetBrains/intellij-community/ |
100 | - Corner cases are dissected by example. | 107 | [Kotlin]: https://kotlinlang.org/ |
101 | 108 | ||
102 | The section should return to the examples given in the previous section, and explain more fully how the detailed proposal makes those examples work. | ||
103 | 109 | ||
104 | # Drawbacks | 110 | # Drawbacks |
105 | [drawbacks]: #drawbacks | 111 | [drawbacks]: #drawbacks |