mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-22 09:41:37 +03:00
25 lines
188 B
Plaintext
25 lines
188 B
Plaintext
/*
|
|
namespace: ParseStatement
|
|
expectation: Pass
|
|
*/
|
|
|
|
if x {
|
|
return ();
|
|
}
|
|
|
|
if Self {
|
|
return ();
|
|
}
|
|
|
|
if (x) {
|
|
return ();
|
|
}
|
|
|
|
if (x) {}
|
|
|
|
if x+y {}
|
|
|
|
if x+y {
|
|
expr;
|
|
return ();
|
|
} |