X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=GHC%2FHetMet%2FCodeTypes.hs;h=d6291195753ccad07178b4d4e5295b82d46db2c7;hb=11dca0057d71161c2b93af91f7921a648e6d9558;hp=d7dcac263ab19ab3508b6e8a739d0ab00d7a9da2;hpb=8d2a759dcb2ad886e39e01d27e4f15ba1c52c7ba;p=ghc-base.git

diff --git a/GHC/HetMet/CodeTypes.hs b/GHC/HetMet/CodeTypes.hs
index d7dcac2..d629119 100644
--- a/GHC/HetMet/CodeTypes.hs
+++ b/GHC/HetMet/CodeTypes.hs
@@ -31,11 +31,11 @@ hetmet_csp = Prelude.error "hetmet_csp should never be evaluated; did you forget
 
 hetmet_flatten ::
    forall g .
-    GArrowSTKC g (,) () =>
+    GArrowSTKC g =>
       forall x y.
-         <[ y ]>@g
+         <[ x -> y ]>@g
          ->
-         (g () y)
+         (g x y)
 hetmet_flatten x = unG (pga_flatten x)
 
 -- After the flattening pass the argument and result types of this
@@ -45,19 +45,19 @@ hetmet_flatten x = unG (pga_flatten x)
 -- type-inference/checking:
 pga_flatten ::
    forall g x y.
-     <[ y ]>@g ->
-     PGArrow g () y
+     <[ x -> y ]>@g ->
+     PGArrow g x y
 pga_flatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
 pga_unflatten ::
    forall g x y.
-     PGArrow g () y ->
-     <[ y ]>@g
+     PGArrow g x y ->
+     <[ x -> y ]>@g
 pga_unflatten = error "hetmet_flatten should never be evaluated; did you forget to compile with -fcoqpass?"
 
 pga_flattened_id ::
    forall g x y.
-     PGArrow g () y ->
-     PGArrow g () y
+     PGArrow g x y ->
+     PGArrow g x y
 pga_flattened_id x = x