I pushed Solution 1 as commit [193e0ee9aa8705dcc0020eaaf6bfb6714db6f9ca](/trac/ghc/changeset/193e0ee9aa8705dcc0020eaaf6bfb6714db6f9ca/ghc) on 16 July 2013.
I'm deciding between
I'm deciding between
- Solution 1 — using the `rts/Globals.c` mechanism for `FastString.string_table`, or
- Solution 1 — using the `rts/Globals.c` mechanism for `FastString.string_table`, or