2015-06-15 14:37:27 -05:00
|
|
|
// Long string literals
|
|
|
|
|
|
|
|
fn main() -> &'static str {
|
|
|
|
let str = "AAAAAAAAAAAAAAaAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAaAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAa";
|
|
|
|
let str = "AAAAAAAAAAAAAAaAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAaAa";
|
|
|
|
let str = "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
|
|
|
|
|
|
|
|
let too_many_lines = "H\
|
|
|
|
e\
|
|
|
|
l\
|
|
|
|
l\
|
|
|
|
o";
|
|
|
|
|
|
|
|
// Make sure we don't break after an escape character.
|
|
|
|
let odd_length_name = "\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n";
|
|
|
|
let even_length_name = "\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n";
|
|
|
|
|
|
|
|
let really_long_variable_name = "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
|
|
|
|
|
2015-08-22 14:20:31 -05:00
|
|
|
let raw_string = r#"Do
|
|
|
|
not
|
|
|
|
remove
|
|
|
|
formatting"#;
|
|
|
|
|
2015-12-02 14:03:41 -06:00
|
|
|
filename.replace(" ", "\\" );
|
|
|
|
|
2015-09-01 13:42:07 -05:00
|
|
|
let xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx =
|
|
|
|
funktion("yyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy");
|
2015-09-03 22:38:12 -05:00
|
|
|
|
|
|
|
let unicode = "a̐éö̲\r\n";
|
|
|
|
let unicode2 = "Löwe 老虎 Léopard";
|
|
|
|
let unicode3 = "中华Việt Nam";
|
|
|
|
let unicode4 = "☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃☃";
|
2015-09-01 13:42:07 -05:00
|
|
|
|
2015-09-10 17:53:21 -05:00
|
|
|
"stuffin'"
|
2015-06-15 14:37:27 -05:00
|
|
|
}
|
2015-12-12 09:20:53 -06:00
|
|
|
|
|
|
|
fn issue682() {
|
|
|
|
let a = "hello \\ o/";
|
|
|
|
let b = a.replace("\\ ", "\\");
|
|
|
|
}
|
2015-12-25 11:50:40 -06:00
|
|
|
|
|
|
|
fn issue716() {
|
|
|
|
println!("forall x. mult(e(), x) = x /\\
|
|
|
|
forall x. mult(x, x) = e()");
|
|
|
|
}
|