Ticket #5056 (closed bug: fixed)
typo in DEBUG RTS options
| Reported by: | jeffz_ | Owned by: | simonmar |
|---|---|---|---|
| Priority: | high | Milestone: | 7.2.1 |
| Component: | Runtime System | Version: | 7.0.2 |
| Keywords: | Cc: | ||
| Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
| Type of failure: | None/Unknown | Difficulty: | |
| Test Case: | Blocked By: | ||
| Blocking: | Related Tickets: |
Description
linking with -debug, then running with +RTS -? shows the following line, which I presume should be squeezing rather than squezing.
hps: -Dz DEBUG: stack squezing
Attached is a patch, generated from:
git format-patch --keep-subject origin
Attachments
Change History
Note: See
TracTickets for help on using
tickets.

