projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3d6a6d8
)
update GHC.HetMet.CodeTypes using *->*->* as the kind of environment classifiers
author
Adam Megacz
<megacz@cs.berkeley.edu>
Mon, 9 May 2011 06:30:14 +0000
(23:30 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Tue, 31 May 2011 21:59:09 +0000
(14:59 -0700)
GHC/HetMet/CodeTypes.hs
patch
|
blob
|
history
diff --git
a/GHC/HetMet/CodeTypes.hs
b/GHC/HetMet/CodeTypes.hs
index
82a6d01
..
31daddb
100644
(file)
--- 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,
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
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_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_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?"
{-
hetmet_csp = Prelude.error "hetmet_csp should never be evaluated; did you forget to compile with -fcoqpass?"
{-