Cannot resolve function call

[DavePearce]

The following exhibits a strange problem:

type tup is {int y, int x}

type point is {int y, int x} where (x > 0) && (y > 0)

function f(point p) -> point:
    return p

method main() -> point:
    tup z = {y: -2, x: 1}
    point p = f(z)
    return p

Specifically, the error message is:

./ConstrainedTuple_Invalid_1.whiley:11: cannot resolve as function or definition call
    point p = f(z)
              ^^^^

This is related to verification as it only shows up in that case.

[DavePearce]

This seems potentially related to #469.

[DavePearce]

This has something to do with the way parameters are handled in WyCS.

[DavePearce]

Ok, fixed. Was simple problem relating to way that parameters were packaged up and passed into WyAL.