remove unnecessary testing definition from CodeTypes.hs

diff --git a/GHC/HetMet/CodeTypes.hs b/GHC/HetMet/CodeTypes.hs
index 9584607..cf0dc12 100644 (file)
--- a/GHC/HetMet/CodeTypes.hs
+++ b/GHC/HetMet/CodeTypes.hs
@@ -10,8 +10,7 @@ module GHC.HetMet.CodeTypes (
   GuestLanguageAdd,  <[ (+) ]>,
   GuestLanguageSub,  <[ (-) ]>, <[ negate ]>,
   GuestLanguageFromInteger, <[ fromInteger ]>,
-  GuestLanguageBool, <[ (||) ]>, <[ (&&) ]>, <[ true ]>, <[ false ]>, <[ ifThenElse ]>,
-  <[ fromp ]>
+  GuestLanguageBool, <[ (||) ]>, <[ (&&) ]>, <[ true ]>, <[ false ]>, <[ ifThenElse ]>
 ) where
 import Prelude (Integer, String, Char, Bool, error)
 import GHC.HetMet.GArrow
@@ -25,9 +24,6 @@ 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?"
 
-<[ fromp ]> :: forall a b . <[ a -> a ]>@b
-<[ fromp ]> = <[ \x -> x ]>
-
 {-
 -- After the flattening pass the argument and result types of this
 -- function are identical (for any instantiation), so the flattener