Re: Possible bug: Zsh function does not terminate when ${name:?word} fails

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Sep 14,  1:21pm, Ronald Fischer wrote:
} Subject: Re: Possible bug: Zsh function does not terminate when ${name:?wo
}
} > This seems to be a side effect of the reserved word handling, if you do
} > disable -r local
} > then it behaves as expected. 
} 
} I don't think this would be a good idea.

I think this was being presented as a diagnostic tool, not as a work-
around for real usage.