[project @ 2005-03-31 21:40:15 by wolfgang]
authorwolfgang <unknown>
Thu, 31 Mar 2005 21:40:15 +0000 (21:40 +0000)
committerwolfgang <unknown>
Thu, 31 Mar 2005 21:40:15 +0000 (21:40 +0000)
commit5031aad924a8b70b5fc4fe4bb1321c007afcab21
tree8356906cc329313da65934b8105013ab0f03165d
parenta4ee6f86fd8a26a5741509e71cc71f6be460ec6d
[project @ 2005-03-31 21:40:15 by wolfgang]
Fix handling of end-of-options markers (--).
getOpt would correctly return the non-options after the marker, but it
would return errors for things after the marker that looked like options.

MERGE TO STABLE
System/Console/GetOpt.hs