<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">On 16/12/13 13:54, Carlo Hamalainen
      wrote:<br>
    </div>
    <blockquote cite="mid:52AEF81F.7010200@carlo-hamalainen.net"
      type="cite">
      <meta content="text/html; charset=ISO-8859-1"
        http-equiv="Content-Type">
      For the benefit of the list archive, here is what I have worked
      out so far.<br>
    </blockquote>
    <br>
    And here is what I've worked out since my last email. I learned more
    about the GHC API, read a bit more about how ghc-mod works, and came
    up with this prototype:<br>
    <br>
    <a class="moz-txt-link-freetext" href="https://github.com/carlohamalainen/ghc-imported-from">https://github.com/carlohamalainen/ghc-imported-from</a><br>
    <br>
    Here is a screencast showing it in action with my forked version of
    ghcmod-vim:<br>
    <br>
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
    <a href="http://www.youtube.com/watch?v=VVc8uupYJGs">http://www.youtube.com/watch?v=VVc8uupYJGs</a>   
    (pick 720p otherwise the text is hard to read)<br>
    <br>
    <pre class="moz-signature" cols="72">-- 
Carlo Hamalainen
<a class="moz-txt-link-freetext" href="http://carlo-hamalainen.net">http://carlo-hamalainen.net</a></pre>
  </body>
</html>