[Haskell-cafe] throwDyn typing "fun"

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 wanted to say "throwDynTo someThreadId SomeException" and they both have types which unify with IO (). I think using a class Typeable => DynamicException a where ... and throwDyn :: DynamicException a => a -> b could make more sense. - Einar Karttunen