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-17 06:47:47 +03:00
|
|
|
circuit Foo {
|
2020-12-17 00:02:31 +03:00
|
|
|
x: u32,
|
|
|
|
|
|
|
|
function echo(self) -> u32 {
|
2021-04-14 23:59:07 +03:00
|
|
|
return self.x;
|
2020-07-17 22:59:18 +03:00
|
|
|
}
|
2020-05-20 07:59:00 +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 { x: 1u32 };
|
2020-07-30 21:11:54 +03:00
|
|
|
|
2021-05-12 20:47:03 +03:00
|
|
|
return a.echo() == 1u32 == true;
|
2021-05-05 11:37:51 +03:00
|
|
|
}
|