14 Dec
2018
14 Dec
'18
12:26 p.m.
Hello.
Do Interrupt exception is special exception? I got warning "Pattern 2 is redundant" for this code:
doit () handle Interrupt => NONE | exc => raise exc
Why?
If one use other exception, then it is all right. Warning is missing.
doit () handle Option => NONE | exc => raise exc
Nick.