[Haskell-cafe] throwDyn typing fun

2005-11-11 Thread Einar Karttunen
Hello It seems that the type of throwDyn and throwDynTo are dangerously close. ThrowDyn works in with any of the arguments of throwDynTo, which can cause evil situations. throwDyn :: Typeable exception = exception - b Which means e.g. throwDyn someThreadId SomeException will work when you

Re: [Haskell-cafe] throwDyn typing fun

2005-11-11 Thread Tomasz Zielonka
On Fri, Nov 11, 2005 at 01:20:05PM +0200, Einar Karttunen wrote: It seems that the type of throwDyn and throwDynTo are dangerously close. ThrowDyn works in with any of the arguments of throwDynTo, which can cause evil situations. throwDyn :: Typeable exception = exception - b Which means