16 Nov
2002
16 Nov
'02
11:15 p.m.
On Saturday, 2002-11-16, 05:24, CET, Alastair Reid wrote:
[...]
The set of exceptions is already undefined. The IOError type is deliberately abstract (i.e., you can't see the constructors) so that the set of exceptions can be extended. (It would have been more convenient if you could see the constructors so that you could use pattern matching but making it extensible won out over convenience.)
Hello, AFAICS, there is no discrepancy between making IOError extensible and revealing constructors. A specification could guarantee that IOError has certain data constructors while not forbidding that it has more than these.
[...]
Wolfgang