how can I declare and have my goal to be a (non-)determ instead of a procedure, as it is declared
now (and I don't know where it is declared as such)?
If I don't have procedure type on my goal the VP8 compiler gives me a related error:
e504 The expression has type '() nondeterm', which is incompatible with the type '() procedure' main.pro
and with the goal being:
Code: Select all
goal
console::runUtf8(main::testtop).