¿Hay alguna forma de obtener el tipo de excepción en Haskell?

Question

Vamos a hacer las siguientes suposiciones:

• mi programa aborta debido a una excepción no capturada
• que no tienen idea de lo que el tipo de esa excepción es
• el mensaje de error impreso contiene ninguna pista sobre el tipo de excepción

¿Cómo puedo averiguar el tipo de esa excepción?

ejemplo Mínimo:

main = error "foo" 

(. Aquí es por supuesto ErrorCall, pero no se puede decir que desde el mensaje de error)

Answer 1

Sí. Todos los tipos Exception deben ser instancias de Typeable, suponiendo que utilice la nueva API de excepciones.

import Control.Exception 
import Data.Typeable 
import Prelude hiding (catch) 

realMain = error "example" 
main = realMain `catch` h where 
    h (SomeException e) = do 
    putStrLn $ "Caught exception of type " ++ show (typeOf e) 
    putStrLn $ show e 

Resultados:

 
Caught exception of type GHC.Exception.ErrorCall 
example