[commit: ghc] supercompiler: Ensure kinds are not generalised, and only types of the correct kind (62cec5c)

Max Bolingbroke <[email protected]> Thu, 04 Oct 2012 07:25:32 -0700

Newsgroups	gmane.comp.lang.haskell.cvs.ghc
Message-ID	<[email protected]>

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : supercompiler

http://hackage.haskell.org/trac/ghc/changeset/62cec5c498236afb3996bae4467f461ae3f03c9f

>---------------------------------------------------------------

commit 62cec5c498236afb3996bae4467f461ae3f03c9f
Author: Max Bolingbroke <[email protected]>
Date:   Thu May 10 10:21:53 2012 +0100

    Ensure kinds are not generalised, and only types of the correct kind

 compiler/supercompile/Supercompile/Drive/MSG.hs |  168 ++++++++++++++++++++---
 compiler/supercompile/Supercompile/Utilities.hs |    8 +
 2 files changed, 158 insertions(+), 18 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 62cec5c498236afb3996bae4467f461ae3f03c9f