correct docs for exitWith: only stdout/stderr are flushed, not all Handles
[ghc-base.git] / System / Console /
drwxr-xr-x   ..
-rw-r--r-- 16056 GetOpt.hs