Are you sure you are interpreting what 'die' should do properly? Your
code makes sense if die should decrement your life counter and continue
along, however if 'die' is meant to end your whole game, then there is
another implementation that does type check.
John
--
John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/