To make it clear, it's not yet written, although I'll start spending more time on it soon.
So far I've been working on the haskell-suite set of libraries that are necessary to implement HasFix. (https://github.com/haskell-suite) Roman * AlanKim Zimmerman <alan.z...@gmail.com> [2013-06-13 20:45:43+0200] > Roman Cheplyaka has written a tool called HasFix for updating source based > on new versions of libraries. > > The presentation on it is here http://ro-che.info/docs/ and the code is at > https://github.com/feuerbach/hasfix > > Perhaps it could be pressed into use for automatic update of historical > code? > > Alan > > > > On Thu, Jun 13, 2013 at 6:30 PM, Maksymilian Owsianny < > maksymilian.owsia...@gmail.com> wrote: > > > I was thinking about something similar some time ago, but not just > > testing but also fixing things automatically. Taking for example > > Semigroup => Monoid this would break in places where you have instance > > for Monoid but don't have instance for Semigroup. But if you have > > instance for Monoid making instance for Semigroup is straightforward: > > > > instance Semigroup <TypeYouAreFixing> where > > (<>) = <copy code from mappend for that type> > > > > I'm still kind of new to Haskell, so I'm not sure how hard such, > > TemplateHaskell-like automagic migration tool, would be to make, but > > I feel like such a tool would be of incredible importance for the > > community. Because otherwise, without such thing, there are usually > > two ways a language can evolve: > > 1. Caring for backwards compatibility, and accumulating mistakes > > like that over time, and becoming more and more like crap. > > 2. Making fixes that break everyones code, and because of that > > being ignored by the industry. > > > > I like Haskell because it usually takes the second route, but as > > community grows it will be less and less the case. With such a tool > > you could have best of both worlds. > > > > Though I assume that somebody already thought of that and come to the > > conclusion that in general case you cannot make such tool because > > Gödel is a bastard that breaks everyones toys, or something along this > > lines. > > > > > > > > On Thu, Jun 13, 2013 at 12:54 PM, Niklas Hambüchen <m...@nh2.me> wrote: > > > >> On 13/06/13 18:36, Vo Minh Thu wrote: > >> > "For example, here is a run with GHC, no special options and using 4 > >> > threads (note that this generally takes a long time, i.e. a few days):" > >> > >> My builds finished in < 10 hours on an i7. > >> > >> _______________________________________________ > >> Haskell-Cafe mailing list > >> Haskell-Cafe@haskell.org > >> http://www.haskell.org/mailman/listinfo/haskell-cafe > >> > > > > > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe