Eclipse rcp RCPTT-Can和x27；不接受程序返回，就好像条件一样

当我尝试在下面的if条件下使用该过程时，它不起作用

proc "isAvailable"{
  bool false
}

loop[val index [int 0]]{

    if[isAvailable]{
          show-alert "Test"
    } else {
          show-alert[ $index |str]
    }
    if [$index | lt 200 ]{
          recur [$index | plus 50]
    }
}

---

错误消息是

无法将给定参数与if

处声明的参数匹配，但我不理解此消息。是否需要一个参数作为过程的输入？

可以在没有任何参数的情况下声明过程

然而，正如名称“proc”所示，它们只是过程：一组没有返回值的命令