Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[breaking batch] don't glob export ast::BlockCheckMode variants #31486

Closed
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions src/librustc_driver/pretty.rs
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ use rustc_borrowck::graphviz as borrowck_dot;
use rustc_resolve as resolve;
use rustc_metadata::cstore::CStore;

use syntax::ast;
use syntax::ast::{self, BlockCheckMode};
use syntax::codemap;
use syntax::fold::{self, Folder};
use syntax::print::{pp, pprust};
Expand Down Expand Up @@ -651,7 +651,7 @@ impl fold::Folder for ReplaceBodyWithLoop {

if !self.within_static_or_const {

let empty_block = expr_to_block(ast::DefaultBlock, None);
let empty_block = expr_to_block(BlockCheckMode::Default, None);
let loop_expr = P(ast::Expr {
node: ast::ExprLoop(empty_block, None),
id: ast::DUMMY_NODE_ID,
Expand Down
4 changes: 2 additions & 2 deletions src/librustc_front/lowering.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1571,8 +1571,8 @@ pub fn lower_visibility(_lctx: &LoweringContext, v: Visibility) -> hir::Visibili

pub fn lower_block_check_mode(lctx: &LoweringContext, b: &BlockCheckMode) -> hir::BlockCheckMode {
match *b {
DefaultBlock => hir::DefaultBlock,
UnsafeBlock(u) => hir::UnsafeBlock(lower_unsafe_source(lctx, u)),
BlockCheckMode::Default => hir::DefaultBlock,
BlockCheckMode::Unsafe(u) => hir::UnsafeBlock(lower_unsafe_source(lctx, u)),
}
}

Expand Down
5 changes: 2 additions & 3 deletions src/libsyntax/ast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,6 @@
// The Rust abstract syntax tree.

pub use self::BinOp_::*;
pub use self::BlockCheckMode::*;
pub use self::CaptureClause::*;
pub use self::Decl_::*;
pub use self::ExplicitSelf_::*;
Expand Down Expand Up @@ -871,8 +870,8 @@ pub type SpannedIdent = Spanned<Ident>;

#[derive(Clone, PartialEq, Eq, RustcEncodable, RustcDecodable, Hash, Debug, Copy)]
pub enum BlockCheckMode {
DefaultBlock,
UnsafeBlock(UnsafeSource),
Default,
Unsafe(UnsafeSource),
}

#[derive(Clone, PartialEq, Eq, RustcEncodable, RustcDecodable, Hash, Debug, Copy)]
Expand Down
5 changes: 2 additions & 3 deletions src/libsyntax/ext/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,7 @@
// except according to those terms.

use abi;
use ast::{Ident, Generics, Expr};
use ast;
use ast::{self, Ident, Generics, Expr, BlockCheckMode};
use attr;
use codemap::{Span, respan, Spanned, DUMMY_SP, Pos};
use ext::base::ExtCtxt;
Expand Down Expand Up @@ -574,7 +573,7 @@ impl<'a> AstBuilder for ExtCtxt<'a> {
stmts: stmts,
expr: expr,
id: ast::DUMMY_NODE_ID,
rules: ast::DefaultBlock,
rules: BlockCheckMode::Default,
span: span,
})
}
Expand Down
4 changes: 2 additions & 2 deletions src/libsyntax/parse/classify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@

// Predicates on exprs and stmts that the pretty-printer and parser use

use ast;
use ast::{self, BlockCheckMode};

/// Does this expression require a semicolon to be treated
/// as a statement? The negation of this: 'can this expression
Expand All @@ -37,7 +37,7 @@ pub fn expr_requires_semi_to_be_stmt(e: &ast::Expr) -> bool {

pub fn expr_is_simple_block(e: &ast::Expr) -> bool {
match e.node {
ast::ExprBlock(ref block) => block.rules == ast::DefaultBlock,
ast::ExprBlock(ref block) => block.rules == BlockCheckMode::Default,
_ => false,
}
}
Expand Down
2 changes: 1 addition & 1 deletion src/libsyntax/parse/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -988,7 +988,7 @@ mod tests {
span: sp(17,19)})),
expr: None,
id: ast::DUMMY_NODE_ID,
rules: ast::DefaultBlock, // no idea
rules: ast::BlockCheckMode::Default, // no idea
span: sp(15,21),
})),
vis: ast::Inherited,
Expand Down
14 changes: 7 additions & 7 deletions src/libsyntax/parse/parser.rs
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ use ast::{Mod, BiAdd, Arg, Arm, Attribute, BindingMode};
use ast::{BiBitAnd, BiBitOr, BiBitXor, BiRem, BiLt, Block};
use ast::{BlockCheckMode, CaptureByRef, CaptureByValue, CaptureClause};
use ast::{Constness, ConstTraitItem, Crate, CrateConfig};
use ast::{Decl, DeclItem, DeclLocal, DefaultBlock, DefaultReturn};
use ast::{Decl, DeclItem, DeclLocal, DefaultReturn};
use ast::{UnDeref, BiDiv, EMPTY_CTXT, EnumDef, ExplicitSelf};
use ast::{Expr, Expr_, ExprAddrOf, ExprMatch, ExprAgain};
use ast::{ExprAssign, ExprAssignOp, ExprBinary, ExprBlock, ExprBox};
Expand Down Expand Up @@ -53,7 +53,7 @@ use ast::{TyFixedLengthVec, TyBareFn, TyTypeof, TyInfer};
use ast::{TyParam, TyParamBounds, TyParen, TyPath, TyPtr};
use ast::{TyRptr, TyTup, TyU32, TyVec};
use ast::TypeTraitItem;
use ast::{UnnamedField, UnsafeBlock};
use ast::UnnamedField;
use ast::{ViewPath, ViewPathGlob, ViewPathList, ViewPathSimple};
use ast::{Visibility, WhereClause};
use attr::{ThinAttributes, ThinAttributesExt, AttributesExt};
Expand Down Expand Up @@ -2095,7 +2095,7 @@ impl<'a> Parser<'a> {
}
},
token::OpenDelim(token::Brace) => {
return self.parse_block_expr(lo, DefaultBlock, attrs);
return self.parse_block_expr(lo, BlockCheckMode::Default, attrs);
},
token::BinOp(token::Or) | token::OrOr => {
let lo = self.span.lo;
Expand Down Expand Up @@ -2211,7 +2211,7 @@ impl<'a> Parser<'a> {
if self.eat_keyword(keywords::Unsafe) {
return self.parse_block_expr(
lo,
UnsafeBlock(ast::UserProvided),
BlockCheckMode::Unsafe(ast::UserProvided),
attrs);
}
if self.eat_keyword(keywords::Return) {
Expand Down Expand Up @@ -3053,7 +3053,7 @@ impl<'a> Parser<'a> {
stmts: vec![],
span: body_expr.span,
expr: Some(body_expr),
rules: DefaultBlock,
rules: BlockCheckMode::Default,
})
}
_ => {
Expand Down Expand Up @@ -3817,7 +3817,7 @@ impl<'a> Parser<'a> {
"place this code inside a block"));
}

self.parse_block_tail(lo, DefaultBlock)
self.parse_block_tail(lo, BlockCheckMode::Default)
}

/// Parse a block. Inner attrs are allowed.
Expand All @@ -3827,7 +3827,7 @@ impl<'a> Parser<'a> {
let lo = self.span.lo;
try!(self.expect(&token::OpenDelim(token::Brace)));
Ok((try!(self.parse_inner_attributes()),
try!(self.parse_block_tail(lo, DefaultBlock))))
try!(self.parse_block_tail(lo, BlockCheckMode::Default))))
}

/// Parse the rest of a block expression or function body
Expand Down
8 changes: 4 additions & 4 deletions src/libsyntax/print/pprust.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
pub use self::AnnNode::*;

use abi;
use ast::{self, TokenTree};
use ast::{self, TokenTree, BlockCheckMode};
use ast::{RegionTyParamBound, TraitTyParamBound, TraitBoundModifier};
use ast::Attribute;
use attr::ThinAttributesExt;
Expand Down Expand Up @@ -1684,8 +1684,8 @@ impl<'a> State<'a> {
attrs: &[ast::Attribute],
close_box: bool) -> io::Result<()> {
match blk.rules {
ast::UnsafeBlock(..) => try!(self.word_space("unsafe")),
ast::DefaultBlock => ()
BlockCheckMode::Unsafe(..) => try!(self.word_space("unsafe")),
BlockCheckMode::Default => ()
}
try!(self.maybe_print_comment(blk.span.lo));
try!(self.ann.pre(self, NodeBlock(blk)));
Expand Down Expand Up @@ -2610,7 +2610,7 @@ impl<'a> State<'a> {
try!(self.print_block_unclosed_indent(&**blk, INDENT_UNIT));

// If it is a user-provided unsafe block, print a comma after it
if let ast::UnsafeBlock(ast::UserProvided) = blk.rules {
if let BlockCheckMode::Unsafe(ast::UserProvided) = blk.rules {
try!(word(&mut self.s, ","));
}
}
Expand Down
4 changes: 2 additions & 2 deletions src/libsyntax_ext/deriving/generic/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1267,7 +1267,7 @@ impl<'a> MethodDef<'a> {
stmts: vec![],
expr: Some(call),
id: ast::DUMMY_NODE_ID,
rules: ast::UnsafeBlock(ast::CompilerGenerated),
rules: ast::BlockCheckMode::Unsafe(ast::CompilerGenerated),
span: sp }));

let target_ty = cx.ty_ident(sp, cx.ident_of(target_type_name));
Expand Down Expand Up @@ -1302,7 +1302,7 @@ impl<'a> MethodDef<'a> {
stmts: vec![],
expr: Some(call),
id: ast::DUMMY_NODE_ID,
rules: ast::UnsafeBlock(ast::CompilerGenerated),
rules: ast::BlockCheckMode::Unsafe(ast::CompilerGenerated),
span: sp }));
match_arms.push(cx.arm(sp, vec![cx.pat_wild(sp)], unreachable));

Expand Down