main :: IO () main = do args <- getArgsWithResponseFiles putStrLn (show args)And a response file args.txt:
--one 1 --'two' 2 --"three" 3Then the result of invoking foo with args.txt is:
> ./foo @args.txt ["--one","1","--two","2","--three","3"]
>>> :{
let beans = fromDynList [toDyn @Int 5, toDyn False]
args = (,) <$> arg @Int <*> arg @Bool
in (getArgsReps args, runArgs (taste beans) args)
:}
(fromList [Int,Bool],(5,False))