From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 15 May 2011 06:53:03 +0000 (-0700)
Subject: fix type mistake in CodeTypes.hs
X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=11dca0057d71161c2b93af91f7921a648e6d9558

fix type mistake in CodeTypes.hs
---

diff --git a/GHC/HetMet/CodeTypes.hs b/GHC/HetMet/CodeTypes.hs
index 255e8b4..d629119 100644
--- a/GHC/HetMet/CodeTypes.hs
+++ b/GHC/HetMet/CodeTypes.hs
@@ -33,9 +33,9 @@ hetmet_flatten ::
    forall g .
     GArrowSTKC g =>
       forall x y.
-         <[ y ]>@g
+         <[ x -> y ]>@g
          ->
-         (g (GArrowUnit g) y)
+         (g x y)
 hetmet_flatten x = unG (pga_flatten x)
 
 -- After the flattening pass the argument and result types of this