[Haskell] ANN: HERMIT for GHC 7.6

Andrew Farmer afarmer at ittc.ku.edu
Tue Sep 25 20:30:58 CEST 2012

A new version of HERMIT ( 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20120925/207aeae8/attachment.htm>

More information about the Haskell mailing list