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 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.
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml