Ok, thanks.
пт, 14 дек. 2018 г. в 14:34, David Matthews :
>
> This is what you get if a constructor is not defined in the current
> scope. It is taken as a value definition. You need to either open
> Thread.Thread or write Thread.Thread.Interrupt instead of just Interrupt.
>
> David
>
> On 14/12
This is what you get if a constructor is not defined in the current
scope. It is taken as a value definition. You need to either open
Thread.Thread or write Thread.Thread.Interrupt instead of just Interrupt.
David
On 14/12/2018 12:26, Kostirya wrote:
Hello.
Do Interrupt exception is specia
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.
___