
21 Apr
2012
21 Apr
'12
12:06 p.m.
My vote is for the latter. GHC has coped with flag days for libraries before.
I'm leaning towards this solution as well. Here's another related question: Adding all branches together in one git repository makes the repository have roughly 120 MB. Is this considered problematic? Should we remove old branches? Cheers, Andres -- Andres Löh, Haskell Consultant Well-Typed LLP, http://www.well-typed.com