Changes between Version 15 and Version 16 of Plugins/ReinitializeGlobals


Ignore:
Timestamp:
Jul 10, 2013 6:16:01 PM (12 months ago)
Author:
nfrisby
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Plugins/ReinitializeGlobals

    v15 v16  
    33== Status == 
    44 
    5 After a few unfortunately public iterations, I've pushed Solution 2 to HEAD. It's a lightweight solution, re-uses an existing mechanism, has a small footprint in the GHC source code, and is totally transparent to the plugin author. 
     5After a few unfortunately public iterations, I've pushed Solution 1 to HEAD. It's a lightweight solution, re-uses an existing mechanism, has a small footprint in the GHC source code, and is totally transparent to the plugin author. 
    66 
    77== Background ==