Exception Scoping 1

gistfile1.hs

{-# LANGUAGE ScopedTypeVariables #-}
import Control.Exception
import Prelude hiding (catch)
iThrowExceptions :: Int
iThrowExceptions = error "I am a slippery exception"

data Record = Record Int deriving (Show)

main :: IO ()
main = do
  val <- (return $ Just $ Record iThrowExceptions)
         `catch`
         (\ e -> print (e :: SomeException) >> return Nothing)
  print "The exception handler is now unwound off the stack."
  print val