[Haskell-cafe] ANN: HaRe 0.8 - The Haskell Refactorer

[Alan & Kim Zimmerman]

It is here: https://github.com/alanz/HaRe/tree/master/old/editors/Vim

On Mon, Oct 5, 2015 at 10:47 AM, Simon Thompson <s.j.thompson at kent.ac.uk>
wrote:

> Alan, Andrew,
>
> The original version of HaRe did integrate with vim. This work was done
> more than 10 years ago, and it may well be that the mechanisms have
> changed. Still, the code should be in the HaRe repo. On the other hand, may
> be easier to start from scratch.
>
> Kind regards, and great to hear that you’re planning to do this!
>
> Simon T.
>
>
> On 5 Oct 2015, at 07:19, Alan & Kim Zimmerman <alan.zimm at gmail.com> wrote:
>
> Hi Andrew
>
> Thanks for the offer, that will be awesome.
>
> In emacs the process is to highlight in a buffer the point where a change
> should happen, for example place the cursor on something that needs
> renaming, and then press the key binding for the relevant refactoring. The
> elisp uses the name of the buffer, location of the cursor and/or current
> highlighted region to construct the parameters for a call to ghc-hare.
>
> When it is done, ghc-hare returns either (ok [files]) to indicate success
> and the names of the files that were changed, or (error "description of
> error").
>
> HaRe does not actually change any files, it just places a new version next
> to to it with an extension of .refactored.hs. In emacs a (optional) series
> of ediff buffers are presented to review the changes. If the user accepts
> them the elisp copies the original files to the same name but with a
> date-time string as a suffix, and renames the refactored file to be the
> original. It should then reload the buffer, but I think that is missing
> right now.
>
> Alan
>
> On Mon, Oct 5, 2015 at 8:07 AM, Andrew Gibiansky <
> andrew.gibiansky at gmail.com> wrote:
>
>> Alan,
>>
>> This is awesome. I can't express how excited I am to see this develop
>> further.
>>
>> I'll gladly start working on Vim support.
>>
>> Could you describe how it works with emacs?
>>
>> -- Andrew
>>
>> On Sun, Oct 4, 2015 at 1:18 PM, Alan & Kim Zimmerman <alan.zimm at gmail.com
>> > wrote:
>>
>>> I'm pleased to announce the release of HaRe 0.8, available on hackage [1]
>>>
>>> What's new?
>>> ===========
>>>
>>> Everything, and nothing.
>>>
>>> Everything in the sense that it has been completely reworked internally
>>> to make
>>> use of the new API Annotations [2] in GHC 7.10.2, via the ghc-exactprint
>>> [3]
>>> library.
>>>
>>> Nothing in the sense that the functionality in this version is/should be
>>> identical to that in 0.7.2.8
>>>
>>> Limitations
>>> ===========
>>>
>>> HaRe 0.8 will only work for projects using GHC 7.10.2 for compilation.
>>> Compiling
>>> HaRe with 7.10.2 and then using it against projects using an earlier
>>> compiler
>>> will not work, as HaRe needs to be able to invoke GHC to the type
>>> checker stage
>>> on the project using GHC 7.10.2.
>>>
>>> What is it?
>>> ===========
>>>
>>> HaRe makes changes to working code, so that it still works once the
>>> change is
>>> made.
>>>
>>> Refactorings it can do are
>>>
>>> * demote
>>>
>>>   Take a declaration from the level where it is defined and move it down
>>> to the
>>>   place where it is used. This only works if it is used in one place
>>> only.
>>>
>>> * dupdef
>>>
>>>   Duplicate a definition with a new name.
>>>
>>> * iftocase
>>>
>>>   Convert an if declaration to a case declaration.
>>>
>>> * liftOneLevel
>>>
>>>   Move a declaration one level up, adding parameters as needed to pass in
>>>   locally declared variables.
>>>
>>> * liftToTopLevel
>>>
>>>   Move a declaration to the top level, adding parameters as needed to
>>> pass in
>>>   locally declared variables.
>>>
>>> * rename
>>>
>>>   Change a name throughout the project. This makes use of the GHC
>>> renamed source
>>>   so will not change other names that just happen to be lexically
>>> identical, but
>>>   are in fact different names.
>>>
>>> It currently has an emacs integration only, assistance in supporting
>>> other
>>> environnments welcome.
>>>
>>> [1] https://hackage.haskell.org/package/HaRe
>>> [2] https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations
>>> [3] https://hackage.haskell.org/package/ghc-exactprint
>>>
>>> Alan
>>>
>>>
>>> _______________________________________________
>>> Haskell-Cafe mailing list
>>> Haskell-Cafe at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>>>
>>>
>>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
>
> Simon Thompson | Professor of Logic and Computation
> School of Computing | University of Kent | Canterbury, CT2 7NF, UK
> s.j.thompson at kent.ac.uk | M +44 7986 085754 | W www.cs.kent.ac.uk/~sjt
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151005/b74e7c5f/attachment.html>