On 28 June 2017 at 18:22, Kacper Gutowski <mwgam...@gmail.com> wrote:
> On Wed, Jun 28, 2017 at 06:02:03PM +0800, Elias Mårtenson wrote: > > 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? > > I think this is correct, it's returning an escape. > You probably wanted to do →0 instead of →. > Got it. Thanks!