src/test/ui/macros/macro-at-most-once-rep-ambig.rs

   1 // Copyright 2012 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // The logic for parsing Kleene operators in macros has a special case to disambiguate `?`.
  12 // Specifically, `$(pat)?` is the ZeroOrOne operator whereas `$(pat)?+` or `$(pat)?*` are the
  13 // ZeroOrMore and OneOrMore operators using `?` as a separator. These tests are intended to
  14 // exercise that logic in the macro parser.
  15 //
  16 // Moreover, we also throw in some tests for using a separator with `?`, which is meaningless but
  17 // included for consistency with `+` and `*`.
  18 //
  19 // This test focuses on error cases.
  20
  21 #![feature(macro_at_most_once_rep)]
  22
  23 macro_rules! foo {
  24     ($(a)?) => {}
  25 }
  26
  27 macro_rules! baz {
  28     ($(a),?) => {} // comma separator is meaningless for `?`
  29 }
  30
  31 macro_rules! barplus {
  32     ($(a)?+) => {}
  33 }
  34
  35 macro_rules! barstar {
  36     ($(a)?*) => {}
  37 }
  38
  39 pub fn main() {
  40     foo!(a?a?a); //~ ERROR no rules expected the token `?`
  41     foo!(a?a); //~ ERROR no rules expected the token `?`
  42     foo!(a?); //~ ERROR no rules expected the token `?`
  43     baz!(a?a?a); //~ ERROR no rules expected the token `?`
  44     baz!(a?a); //~ ERROR no rules expected the token `?`
  45     baz!(a?); //~ ERROR no rules expected the token `?`
  46     baz!(a,); //~ ERROR unexpected end of macro invocation
  47     baz!(a?a?a,); //~ ERROR no rules expected the token `?`
  48     baz!(a?a,); //~ ERROR no rules expected the token `?`
  49     baz!(a?,); //~ ERROR no rules expected the token `?`
  50     barplus!(); //~ ERROR unexpected end of macro invocation
  51     barplus!(a?); //~ ERROR unexpected end of macro invocation
  52     barstar!(a?); //~ ERROR unexpected end of macro invocation
  53 }