Die if a callback returns an unknown value. This is important, since
authorMike Taylor <mike@indexdata.com>
Wed, 25 Oct 2006 15:42:47 +0000 (15:42 +0000)
committerMike Taylor <mike@indexdata.com>
Wed, 25 Oct 2006 15:42:47 +0000 (15:42 +0000)
otherwise if you forget to explicitly return something, the loop will
just fall through and the whole run will quietly end.


No differences found