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

[Alan & Kim Zimmerman]

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
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151005/ac930bb2/attachment.html>