diff options
| author | panne <unknown> | 2003-08-26 19:01:19 +0000 |
|---|---|---|
| committer | panne <unknown> | 2003-08-26 19:01:19 +0000 |
| commit | 32e889cbe0d011daad4cd22f2be67acc768d2827 (patch) | |
| tree | 866b07f8e1aebb9002271772830af7a91eeff1b0 /src/FastMutInt.hs | |
| parent | 6bbdadb769912b622b6d47ea7129a411d8bb3a19 (diff) | |
[haddock @ 2003-08-26 19:01:18 by panne]
Made option handling a bit more consistent with other tools, in
particular: Every program in fptools should output
* version info on stdout and terminate successfully when -V or --version
* usage info on stdout and terminate successfully when -? or --help
* usage info on stderr and terminate unsuccessfully when an unknown option
is given.
Diffstat (limited to 'src/FastMutInt.hs')
0 files changed, 0 insertions, 0 deletions