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!

Reply via email to