The plain source file for module System is not available.
module System where
import Prelude

primitive system :: String -> IO ExitCode
primitive progLine :: [String]
primitive getEnv :: String -> IO String

data ExitCode = ExitSuccess | ExitFailure Int deriving (Eq,Ord,Show,Read)
instance Show ExitCode

getArgs :: IO [String]
getProgName :: IO String

getArgs = return progArgs
getProgName = return progName

exitWith :: ExitCode -> IO a
exitWith e = error ("exithWith "++show e)



(HTML for this module was generated on Mar 20. About the conversion tool.)