Skip to content

Commit 1ecf692

Browse files
borsbors
committed
Auto merge of #52081 - alexcrichton:proc-macro-stable, r=petrochenkov
rustc: Stabilize the `proc_macro` feature This commit stabilizes some of the `proc_macro` language feature as well as a number of APIs in the `proc_macro` crate as [previously discussed][1]. This means that on stable Rust you can now define custom procedural macros which operate as attributes attached to items or `macro_rules!`-like bang-style invocations. This extends the suite of currently stable procedural macros, custom derives, with custom attributes and custom bang macros. Note though that despite the stabilization in this commit procedural macros are still not usable on stable Rust. To stabilize that we'll need to stabilize at least part of the `use_extern_macros` feature. Currently you can define a procedural macro attribute but you can't import it to call it! A summary of the changes made in this PR (as well as the various consequences) is: * The `proc_macro` language and library features are now stable. * Other APIs not stabilized in the `proc_macro` crate are now named under a different feature, such as `proc_macro_diagnostic` or `proc_macro_span`. * A few checks in resolution for `proc_macro` being enabled have switched over to `use_extern_macros` being enabled. This means that code using `#![feature(proc_macro)]` today will likely need to move to `#![feature(use_extern_macros)]`. It's intended that this PR, once landed, will be followed up with an attempt to stabilize a small slice of `use_extern_macros` just for procedural macros to make this feature 100% usable on stable. [1]: https://internals.rust-lang.org/t/help-stabilize-a-subset-of-macros-2-0/7252
2 parents 50702b2 + 65f3007 commit 1ecf692

File tree

80 files changed

+241
-515
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

80 files changed

+241
-515
lines changed

‎src/doc/unstable-book/src/language-features/proc-macro.md

-241
This file was deleted.

‎src/libproc_macro/diagnostic.rs

+8-8
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ use Span;
1313
use rustc_errors as rustc;
1414

1515
/// An enum representing a diagnostic level.
16-
#[unstable(feature = "proc_macro", issue = "38356")]
16+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
1717
#[derive(Copy, Clone, Debug)]
1818
pub enum Level {
1919
/// An error.
@@ -30,7 +30,7 @@ pub enum Level {
3030

3131
/// A structure representing a diagnostic message and associated children
3232
/// messages.
33-
#[unstable(feature = "proc_macro", issue = "38356")]
33+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
3434
#[derive(Clone, Debug)]
3535
pub struct Diagnostic {
3636
level: Level,
@@ -43,15 +43,15 @@ macro_rules! diagnostic_child_methods {
4343
($spanned:ident, $regular:ident, $level:expr) => (
4444
/// Add a new child diagnostic message to `self` with the level
4545
/// identified by this methods name with the given `span` and `message`.
46-
#[unstable(feature = "proc_macro", issue = "38356")]
46+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
4747
pub fn $spanned<T: Into<String>>(mut self, span: Span, message: T) -> Diagnostic {
4848
self.children.push(Diagnostic::spanned(span, $level, message));
4949
self
5050
}
5151

5252
/// Add a new child diagnostic message to `self` with the level
5353
/// identified by this method's name with the given `message`.
54-
#[unstable(feature = "proc_macro", issue = "38356")]
54+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
5555
pub fn $regular<T: Into<String>>(mut self, message: T) -> Diagnostic {
5656
self.children.push(Diagnostic::new($level, message));
5757
self
@@ -61,7 +61,7 @@ macro_rules! diagnostic_child_methods {
6161

6262
impl Diagnostic {
6363
/// Create a new diagnostic with the given `level` and `message`.
64-
#[unstable(feature = "proc_macro", issue = "38356")]
64+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
6565
pub fn new<T: Into<String>>(level: Level, message: T) -> Diagnostic {
6666
Diagnostic {
6767
level: level,
@@ -73,7 +73,7 @@ impl Diagnostic {
7373

7474
/// Create a new diagnostic with the given `level` and `message` pointing to
7575
/// the given `span`.
76-
#[unstable(feature = "proc_macro", issue = "38356")]
76+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
7777
pub fn spanned<T: Into<String>>(span: Span, level: Level, message: T) -> Diagnostic {
7878
Diagnostic {
7979
level: level,
@@ -89,13 +89,13 @@ impl Diagnostic {
8989
diagnostic_child_methods!(span_help, help, Level::Help);
9090

9191
/// Returns the diagnostic `level` for `self`.
92-
#[unstable(feature = "proc_macro", issue = "38356")]
92+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
9393
pub fn level(&self) -> Level {
9494
self.level
9595
}
9696

9797
/// Emit the diagnostic.
98-
#[unstable(feature = "proc_macro", issue = "38356")]
98+
#[unstable(feature = "proc_macro_diagnostic", issue = "38356")]
9999
pub fn emit(self) {
100100
::__internal::with_sess(move |sess, _| {
101101
let handler = &sess.span_diagnostic;

0 commit comments

Comments
 (0)