Changes between Version 21 and Version 22 of Plugins/ReinitializeGlobals


Ignore:
Timestamp:
Jul 16, 2013 7:59:08 PM (9 months 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.