correct docs for exitWith: only stdout/stderr are flushed, not all Handles
authorSimon Marlow <marlowsd@gmail.com>
Thu, 24 Jun 2010 13:05:06 +0000 (13:05 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 24 Jun 2010 13:05:06 +0000 (13:05 +0000)
commit7dfe4a22aa6a2c598b1496c661c7d532aaafa94f
tree4e94fc781092d410d164bb4b2fed5e95f87c2712
parent0058f13e35b873d61929a75118a8b38e78ca4e7e
correct docs for exitWith: only stdout/stderr are flushed, not all Handles
System/Exit.hs