git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/src/IRTS/CodegenCommon.hs
15 lines 494 B history raw
1module IRTS.CodegenCommon where
3import Core.TT
4import IRTS.Simplified
6import Control.Exception
7import System.Environment
9data DbgLevel = NONE | DEBUG | TRACE deriving Eq
10data OutputType = Raw | Object | Executable | MavenProject deriving (Eq, Show)
12environment :: String -> IO (Maybe String)
13environment x = Control.Exception.catch (do e <- getEnv x
14 return (Just e))
15 (\y-> do return (y::SomeException); return Nothing)