Changes between Version 21 and Version 22 of Plugins/ReinitializeGlobals


Ignore:
Timestamp:
Jul 16, 2013 7:59:08 PM (2 years ago)
Author:
nfrisby
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Plugins/ReinitializeGlobals

    v21 v22  
    22
    33== Status ==
     4
     5I pushed Solution 1 as commit 193e0ee9aa8705dcc0020eaaf6bfb6714db6f9ca on 16 July 2013.
    46
    57I'm deciding between
     
    79  * Solution 1 — using the `rts/Globals.c` mechanism for `FastString.string_table`, or
    810
    9   * Solution 2 — requiring a dynamically-linked ghc to (safely) use plugins that involve FastStrings.
     11  * Solution 2 — requiring a dynamically-linked ghc to (safely) use plugins that involve !FastStrings.
    1012
    1113After a few, unfortunately public, iterations, I've chosen push Solution 1.