> So - what is it? Are pure functions allowed to throw or not? We keep going back to this every N years and I'm not sure why... In Ada the answer is definitely yes, we have entire library units marked Pure and thus containing bunch of pure functions but they can throw like any other function.
-- Eric Botcazou
