From 671fdd151ac7f8e4c67f1a2b55189cc48f2e5983 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 14 Apr 2012 14:36:50 -0700 Subject: [PATCH] add GHC.HetMet.{hetmet_kappa,hetmet_kappa_app} --- GHC/HetMet/CodeTypes.hs | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/GHC/HetMet/CodeTypes.hs b/GHC/HetMet/CodeTypes.hs index 1d7357d..5e65040 100644 --- 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_kappa, + hetmet_kappa_app, 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_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. -- 1.7.10.4