From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 9 May 2011 06:30:14 +0000 (-0700)
Subject: update GHC.HetMet.CodeTypes using *->*->* as the kind of environment classifiers
X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=90f36211d4a1013a83eea17cae67acd3dbdc1b6f

update GHC.HetMet.CodeTypes using *->*->* as the kind of environment classifiers
---

diff --git a/GHC/HetMet/CodeTypes.hs b/GHC/HetMet/CodeTypes.hs
index 82a6d01..31daddb 100644
--- a/GHC/HetMet/CodeTypes.hs
+++ b/GHC/HetMet/CodeTypes.hs
@@ -1,4 +1,4 @@
-{-# OPTIONS -XModalTypes -XMultiParamTypeClasses #-}
+{-# OPTIONS -XModalTypes -XMultiParamTypeClasses -XKindSignatures #-}
 module GHC.HetMet.CodeTypes (
   hetmet_brak,
   hetmet_esc,
@@ -15,13 +15,13 @@ module GHC.HetMet.CodeTypes (
 import Prelude (Integer, String, Char, Bool, error)
 import GHC.HetMet.GArrow
 
-hetmet_brak :: forall c. forall a. a -> <[a]>@c
+hetmet_brak :: forall (c :: * -> * -> *). forall a. a -> <[a]>@c
 hetmet_brak = Prelude.error "hetmet_brak should never be evaluated; did you forget to compile with -fcoqpass?"
 
-hetmet_esc  :: forall c. forall a. <[a]>@c -> a
+hetmet_esc  :: forall (c :: * -> * -> *). forall a. <[a]>@c -> a
 hetmet_esc = Prelude.error "hetmet_esc should never be evaluated; did you forget to compile with -fcoqpass?"
 
-hetmet_csp :: forall c. forall a. a -> a
+hetmet_csp :: forall (c :: * -> * -> *). forall a. a -> a
 hetmet_csp = Prelude.error "hetmet_csp should never be evaluated; did you forget to compile with -fcoqpass?"
 
 {-