Error while compiling square.zok: expected ty_array

[rashmeetk19]

I am trying to compile a simple ZoKrates program to verify if a private number x satisfies x^2 == 16. However, I am encountering an error when I try to compile the program.

Here’s my code:
def main(private field x) -> field: field y = x * x assert y == 16 return y
When I run the following command:
zokrates compile -i square.zok
I get the following error:
square.zok: --> 1:30 | 1 | def main(private field x) -> field: | ^--- | = expected ty_array
I have tried:

• Ensuring that the ZoKrates version is up to date (0.8.8).
• Checking the formatting of the code.
• Re-running the command multiple times.

Can anyone help me identify the cause of this issue and how to resolve it?

Thanks!

[dark64]

def main(private field x) -> field {
    field y = x * x;
    assert(y == 16);
    return y;
}

Playground