2018-08-30 14:18:55 +02:00
|
|
|
//@ run-pass
|
2015-03-22 13:13:15 -07:00
|
|
|
//@ pretty-expanded FIXME #23616
|
|
|
|
|
2013-02-17 14:36:43 -08:00
|
|
|
pub fn main () {
|
2014-05-25 03:10:11 -07:00
|
|
|
let mut line = "".to_string();
|
2015-01-25 22:05:03 +01:00
|
|
|
let mut i = 0;
|
2014-05-25 03:10:11 -07:00
|
|
|
while line != "exit".to_string() {
|
|
|
|
line = if i == 9 { "exit".to_string() } else { "notexit".to_string() };
|
2011-12-05 00:33:25 +08:00
|
|
|
i += 1;
|
2012-05-10 14:06:19 -07:00
|
|
|
}
|
2011-12-05 00:33:25 +08:00
|
|
|
}
|