use New.catch instead of catchException in OldException
authorRoss Paterson <ross@soi.city.ac.uk>
Wed, 13 Aug 2008 07:13:07 +0000 (07:13 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Wed, 13 Aug 2008 07:13:07 +0000 (07:13 +0000)
commit08ce3c4c0b2c92553dfae30509069cdc29691a19
tree92e2d0c547c343baa7cf51f0725373bdfab7095a
parent34816f6bb3aefacd77408c9da5a1c3e0b761270d
use New.catch instead of catchException in OldException
Control/OldException.hs