idris-0.9.6: src/IRTS/CodegenCommon.hs

{-# LANGUAGE CPP #-}

module IRTS.CodegenCommon where

import Core.TT
import IRTS.Simplified

import Control.Exception
import System.Environment

data DbgLevel = NONE | DEBUG | TRACE deriving Eq
data OutputType = Raw | Object | Executable deriving (Eq, Show)

environment :: String -> IO (Maybe String)
environment x = Control.Exception.catch (do e <- getEnv x
                                            return (Just e))
#if MIN_VERSION_base(4,0,0)
                          (\y-> do return (y::SomeException);  return Nothing)
#endif
#if !MIN_VERSION_base(4,0,0)
                          (\_->  return Nothing)
#endif