I have defined a function as such:

∇ Z ← foo X
  →(X=0)/zero
  Z ← 'not zero'
  →
zero:
  Z ← 'zero'
∇

When calling this function with a non-zero argument, I expect the return
value to be 'not zero'. Instead it simply exits the function. Is this
correct behaviour?

Regards,
Elias

Reply via email to