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.
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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Ok, thanks.
??, 14 ???. 2018 ?. ? 14:34, David Matthews <David.Matthews at prolingua.co.uk>:
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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
David.Matthews＠prolingua.co.uk -
kostirya＠gmail.com