ghc/compiler/utils/Argv.lhs

   1 %
   2 % (c) The AQUA Project, Glasgow University, 1996
   3 %
   4 \section[Argv]{@Argv@: direct (non-standard) access to command-line arguments}
   5
   6 \begin{code}
   7 #include "HsVersions.h"
   8
   9 module Argv ( argv ) where
  10
  11 import PreludeGlaST     ( indexAddrOffAddr )
  12
  13 CHK_Ubiq() -- debugging consistency check
  14
  15 #if __GLASGOW_HASKELL__ >= 200
  16 # define ADDR       GHCbase.Addr
  17 # define PACK_STR   packCString
  18 #else
  19 # define ADDR       _Addr
  20 # define PACK_STR   _packCString
  21 #endif
  22
  23 argv :: [FAST_STRING]
  24 argv = unpackArgv ``prog_argv'' (``prog_argc''::Int)
  25
  26 unpackArgv :: ADDR -> Int -> [FAST_STRING] -- argv[1 .. argc-1]
  27
  28 unpackArgv argv argc = unpack 1
  29   where
  30     unpack :: Int -> [FAST_STRING]
  31     unpack n
  32       = if (n >= argc)
  33         then ([] :: [FAST_STRING])
  34         else case (indexAddrOffAddr argv n) of { item ->
  35              PACK_STR item : unpack (n + 1)
  36              }
  37 \end{code}