projects
/
ghc-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
e3eef06
)
add GHC.HetMet.{hetmet_kappa,hetmet_kappa_app}
master
author
Adam Megacz
<megacz@cs.berkeley.edu>
Sat, 14 Apr 2012 21:36:50 +0000
(14:36 -0700)
committer
Adam Megacz
<megacz@cs.berkeley.edu>
Sat, 14 Apr 2012 21:36:50 +0000
(14:36 -0700)
GHC/HetMet/CodeTypes.hs
patch
|
blob
|
history
diff --git
a/GHC/HetMet/CodeTypes.hs
b/GHC/HetMet/CodeTypes.hs
index
1d7357d
..
5e65040
100644
(file)
--- a/
GHC/HetMet/CodeTypes.hs
+++ b/
GHC/HetMet/CodeTypes.hs
@@
-12,6
+12,8
@@
module GHC.HetMet.CodeTypes (
hetmet_brak,
hetmet_esc,
hetmet_csp,
hetmet_brak,
hetmet_esc,
hetmet_csp,
+ hetmet_kappa,
+ hetmet_kappa_app,
GuestIntegerLiteral, guestIntegerLiteral,
GuestStringLiteral, guestStringLiteral,
GuestCharLiteral, guestCharLiteral
GuestIntegerLiteral, guestIntegerLiteral,
GuestStringLiteral, guestStringLiteral,
GuestCharLiteral, guestCharLiteral
@@
-26,6
+28,12
@@
hetmet_esc = Prelude.error "hetmet_esc should never be evaluated; did you forget
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 :: forall (c :: * -> * -> *). forall a. a -> a
hetmet_csp = Prelude.error "hetmet_csp should never be evaluated; did you forget to compile with -fcoqpass?"
+hetmet_kappa :: forall a b c . (( () -> a ) -> ( b -> c )) -> ( (a,b) -> c )
+hetmet_kappa = Prelude.error "hetmet_kappa should never be evaluated; did you forget to compile with -fcoqpass?"
+
+hetmet_kappa_app :: forall a b c . ( (a,b) -> c ) -> ( () -> a ) -> ( b -> c )
+hetmet_kappa_app = Prelude.error "hetmet_kappa_app should never be evaluated; did you forget to compile with -fcoqpass?"
+
-- Technically these functions ought to be invoked *during
-- compilation*; in the future I would like to use Template Haskell to
-- do that.
-- Technically these functions ought to be invoked *during
-- compilation*; in the future I would like to use Template Haskell to
-- do that.