shithub: MicroHs

ref: c3cd7e6b9d104b8af1e0ca2a6660e2ddc25c4b2a
dir: /lib/System/Environment.hs/

View raw version 
-- Copyright 2023 Lennart Augustsson
-- See LICENSE file for full license.
module System.Environment(module System.Environment) where
import Primitives
--import Data.Char  -- for String
import System.IO --Y()

getArgs :: IO [[Char]]
getArgs = primGetArgs

withDropArgs :: forall a . Int -> IO a -> IO a
withDropArgs = primWithDropArgs