-- |Pretty print error messages
printException :: SomeException -> IO ()
printException e = do
    restoreTerm
    qf <- getProgName
    putStrLn $ qf ++ ": " ++ show e
printException :: SomeException -> IO ()
printException e = do
    restoreTerm
    qf <- getProgName
    putStrLn $ qf ++ ": " ++ show e
printException e = do
    restoreTerm
    qf <- getProgName
    putStrLn $ qf ++ ": " ++ show e