2021-05-05 11:37:51 +03:00
|
|
|
/*
|
|
|
|
namespace: Compile
|
|
|
|
expectation: Pass
|
2021-05-12 20:47:03 +03:00
|
|
|
input_file: input/dummy.in
|
2021-05-05 11:37:51 +03:00
|
|
|
*/
|
|
|
|
|
2020-07-03 23:35:46 +03:00
|
|
|
circuit Foo {
|
2021-04-29 22:22:17 +03:00
|
|
|
f: u32;
|
2020-07-03 23:35:46 +03:00
|
|
|
|
2020-12-01 23:37:44 +03:00
|
|
|
function bar(self) -> u32 {
|
2021-04-14 23:59:07 +03:00
|
|
|
return self.f;
|
2020-07-03 23:35:46 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-05-12 20:47:03 +03:00
|
|
|
function main(y: bool) -> bool {
|
2021-03-18 22:19:07 +03:00
|
|
|
const a = Foo { f: 1u32 };
|
|
|
|
const b = a.bar();
|
2020-07-30 21:11:54 +03:00
|
|
|
|
2021-07-01 23:40:29 +03:00
|
|
|
return (b == 1u32) == y;
|
2021-05-12 20:47:03 +03:00
|
|
|
}
|