@withArgs args act@ - while executing action @act@, have 'System.getArgs'
return @args@ (GHC only).
-}
@withArgs args act@ - while executing action @act@, have 'System.getArgs'
return @args@ (GHC only).
-}
@withProgName name act@ - while executing action @act@,
have 'System.getProgName' return @name@ (GHC only).
-}
@withProgName name act@ - while executing action @act@,
have 'System.getProgName' return @name@ (GHC only).
-}
withArgv new_args act = do
pName <- System.Environment.getProgName
existing_args <- System.Environment.getArgs
withArgv new_args act = do
pName <- System.Environment.getProgName
existing_args <- System.Environment.getArgs