next up previous contents index
Next: ListExceptionType Up: Data Structures Previous: List   Contents   Index


ListException


Usage

throw ListException
try ...catch E in { E has ListExceptionType $=>$ ...}


Description

ListException is an exception type thrown by list access.



Manuel Bronstein 2004-06-28