From 90f36211d4a1013a83eea17cae67acd3dbdc1b6f Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 8 May 2011 23:30:14 -0700 Subject: [PATCH] update GHC.HetMet.CodeTypes using *->*->* as the kind of environment classifiers --- GHC/HetMet/CodeTypes.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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?" {- -- 1.7.10.4