Changes between Version 1 and Version 2 of FrontendPluginsProposal


Ignore:
Timestamp:
Jul 25, 2013 3:12:31 PM (9 months ago)
Author:
edsko
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FrontendPluginsProposal

    v1 v2  
    116116Command line support for source plugins could then be added in a similar 
    117117fashion. 
     118 
     119== Patches == 
     120 
     121Attached are patches against 7.4.2 and 7.7. Note that the patch against 7.7 invalidates the check implemented in #7780; you have to temporarily disable it: 
     122 
     123{{{ 
     124diff --git a/utils/dll-split/Main.hs b/utils/dll-split/Main.hs 
     125index 336b6d9..c92ff8d 100644 
     126--- a/utils/dll-split/Main.hs 
     127+++ b/utils/dll-split/Main.hs 
     128@@ -41,7 +41,8 @@ doit depfile startModule expectedReachableMods 
     129           putStrLn "Please fix it, or building DLLs on Widnows may break (#7780)" 
     130           tellSet "Redundant modules" redundant 
     131           tellSet "Extra modules"     extra 
     132-          exitFailure 
     133+          putStrLn "WARNING: Continuing regardless!" 
     134+          -- exitFailure 
     135  
     136 newtype Module = Module String 
     137     deriving (Eq, Ord) 
     138}}} 
     139 
     140(Not completely sure what is the ramifications of that are, but I think it means that the Windows DLL will be broken -- so that will need to be addressed before the patch can be accepted).