Re: [GHC] #4243: Make a proper options parser for the RTS

#4243: Make a proper options parser for the RTS
-------------------------------------+-------------------------------------
Reporter: igloo | Owner:
Type: task | Status: new
Priority: normal | Milestone: 7.12.1
Component: Runtime System | Version: 6.13
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: #9839 | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by carlostome):
Maybe we should change {{{rts/RtsFlags.c}}} to make use of
participants (1)
-
GHC