From c8af1c7edf31a45aa6f71620a5408cfacb8d52c6 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 19 Mar 2011 12:33:34 -0700 Subject: [PATCH] remove unnecessary testing definition from CodeTypes.hs --- GHC/HetMet/CodeTypes.hs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/GHC/HetMet/CodeTypes.hs b/GHC/HetMet/CodeTypes.hs index 9584607..cf0dc12 100644 --- 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 -- 1.7.10.4