[Haskell-cafe] Inferring Safety

2012-07-04 Thread Ivan Lazar Miljenovic
When it says up the top of Haddock docs that a module is "Safe-Infered" (which should probably Safe-Infer*r*ed), what does that actually mean? My understanding of Safe Haskell is that there's no unsafe* functions, etc. being used unless the module author swears (by using -XSafe) that the module is

Re: [Haskell-cafe] existential types and cast

2012-07-04 Thread Paolino
Hi How many handlers for each type of event in the list of handlers ? If you have only one handler for each type , it should go in the typeclass, and you don't need typeable. If you have more than one maybe you can avoid using type indexing at all, because it doesn't resolve the handler selection i