Ok, thanks.
пт, 14 дек. 2018 г. в 14:34, David Matthews <david.matth...@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@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