<div dir="ltr">Sorry, i meant ghci not cabal.<br><br>As for hsdev, in order to provide its features it will have to load and keep track of entire project information which is already done by ghc-mod and hdevtools separately. So you ushould see how much effort is wasted on doing the same thing again and again in each of 4 different tools (ghci, ghc-mod, hdevtools and hsdev)<br><br>On Monday, March 10, 2014 12:32:25 PM UTC-7, Niklas Hambüchen wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">On 10/03/14 18:41, Vagif Verdi wrote:
<br>> This is an excellent illustration of how fragmentation in this specific
<br>> area hurts community. Not only you are forced to use 3 different tools
<br>> (ghc-mod, hdevtools, cabal) each of which basically provides the same
<br>> service but in an incompatible and incomplete way. But you decided to
<br>> create yet another one instead of contributing to the ones you already
<br>> use (they are all open source)
<br>
<br>I'm not sure what you mean to say; ghc-mod and cabal certainly do not do
<br>the same. Hsdev doesn't either, and claiming that we don't contribute to
<br>these projects is strange.
<br>______________________________<wbr>_________________
<br>Haskell-Cafe mailing list
<br><a href="javascript:" target="_blank" gdf-obfuscated-mailto="IosisurMhM0J" onmousedown="this.href='javascript:';return true;" onclick="this.href='javascript:';return true;">Haskel...@haskell.org</a>
<br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank" onmousedown="this.href='http://www.google.com/url?q\75http%3A%2F%2Fwww.haskell.org%2Fmailman%2Flistinfo%2Fhaskell-cafe\46sa\75D\46sntz\0751\46usg\75AFQjCNHiVycCM53czUVzPma4Fkb_wPqP2A';return true;" onclick="this.href='http://www.google.com/url?q\75http%3A%2F%2Fwww.haskell.org%2Fmailman%2Flistinfo%2Fhaskell-cafe\46sa\75D\46sntz\0751\46usg\75AFQjCNHiVycCM53czUVzPma4Fkb_wPqP2A';return true;">http://www.haskell.org/<wbr>mailman/listinfo/haskell-cafe</a>
<br></blockquote></div>