[Haskell-cafe] [Haskell] ANN: HERMIT for GHC 7.6
jays at panix.com
Tue Sep 25 21:54:44 CEST 2012
[Note that original post was on the Haskell list, and not the
On Tue, 25 Sep 2012, Andrew Farmer <afarmer at ittc.ku.edu> wrote:
> A new version of HERMIT (0.1.2.0) that is compatible with GHC 7.6 is now
> available on hackage. This release has essentially the same functionality
> as the 7.4-only pre-alpha release made before ICFP 2012.
> HERMIT (Haskell Equational Reasoning Model-to-Implementation Tunnel) is a
> plugin for GHC that provides an interactive interface for applying
> transformations directly to GHC's internal intermediate language, Core.
> This plugin is part of a larger HERMIT toolkit, which is being developed at
> the University of Kansas with the aims of supporting equational reasoning
> and allowing custom optimizations to be applied without modifying either
> GHC or the Haskell source code.
> Introduction to HERMIT via Neil Sculthorpe's Haskell Symposium 2012 talk:
> Example transformations can be found in the examples folder, contained in
> the cabal source package.
> Hackage: http://hackage.haskell.org/package/hermit
> Github (for bug reports): https://github.com/ku-fpg/hermit
> Andrew Farmer
Thank you and all the HERMIT Team for this!
Does the HERMIT system provide an executable Haskell Core, that
is, we can get an ordinary text file which can be executed by
some version of GHC+HERMIT?
More information about the Haskell-Cafe