Ticket #4010 (closed bug: fixed)
Confusing help for +RTS -e
| Reported by: | rl | Owned by: | simonmar |
|---|---|---|---|
| Priority: | normal | Milestone: | 6.12.3 |
| Component: | Runtime System | Version: | 6.12.2 |
| Keywords: | Cc: | ||
| Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
| Type of failure: | Documentation bug | Difficulty: | |
| Test Case: | Blocked By: | ||
| Blocking: | Related Tickets: |
Description
This is an excerpt from +RTS --help:
-e<size> Size of spark pools (default 100) -e<n> Maximum number of outstanding local sparks (default: 4096)
This happens with 6.10, 6.12 and the HEAD.
Change History
Note: See
TracTickets for help on using
tickets.
